Constructor and Description |
---|
Int(int value) |
Modifier and Type | Method and Description |
---|---|
void |
finishTuple(Database db) |
java.lang.String |
getId() |
static Int |
make(PrologDB.Tuple t) |
java.lang.String |
toString() |
int |
value() |