|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Object
|
+--com.ugos.JIProlog.engine.JIPTerm
|
+--com.ugos.JIProlog.engine.JIPNumber
JIPNumber wraps a prolog number
JIPTerm,
Serialized Form| Method Summary | |
static JIPNumber |
create(double d)
Creates a new JIPNumber object |
static JIPNumber |
create(int n)
Creates a new JIPNumber object |
double |
getValue()
Returns the numeric value of this JIPNumber object |
boolean |
isInteger()
|
| Methods inherited from class com.ugos.JIProlog.engine.JIPTerm |
clear, clone, getVariables, getVariablesTable, toString, toString, toStringq, unifiable, unify |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Method Detail |
public static final JIPNumber create(double d)
d - the number
public static final JIPNumber create(int n)
n - the number
public final double getValue()
public final boolean isInteger()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||