Constructor and Description |
---|
INT(java.lang.Integer value) |
Modifier and Type | Method and Description |
---|---|
static int |
compareTo(int x,
int y) |
static int |
compareTo(Lang.INT x,
Lang.INT y) |
void |
finishTuple(Database db,
PrologDB.ErrorReport er) |
java.lang.String |
toString(java.lang.String fmt) |
java.lang.String |
TupleTypeName() |
public java.lang.String TupleTypeName()
TupleTypeName
in class Meta4Framework.TuPle<Database>
public static int compareTo(int x, int y)
public void finishTuple(Database db, PrologDB.ErrorReport er)
finishTuple
in class Meta4Framework.TuPle<Database>
public java.lang.String toString(java.lang.String fmt)
toString
in class Meta4Framework.PrimTuPle<Database,java.lang.Integer>