Constructor and Description |
---|
DOUBLE(java.lang.Double value) |
Modifier and Type | Method and Description |
---|---|
static int |
compareTo(double x,
double y) |
static int |
compareTo(Lang.DOUBLE x,
Lang.DOUBLE 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(double x, double y)
public static int compareTo(Lang.DOUBLE x, Lang.DOUBLE 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.Double>