|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectalice.tuprolog.Term
alice.tuprolog.Number
alice.tuprolog.Long
Long class represents the long prolog data type
| Field Summary |
| Fields inherited from class alice.tuprolog.Term |
FALSE, TRUE |
| Constructor Summary | |
Long(long v)
|
|
| Method Summary | |
double |
doubleValue()
Returns the value of the Integer as double |
float |
floatValue()
Returns the value of the Integer as float |
int |
intValue()
Returns the value of the Integer as int |
boolean |
isEqual(Term t)
Returns true if this integer term is equal that the term provided. |
boolean |
isGreater(Term t)
Returns true if this integer term is grater that the term provided. |
boolean |
isInteger()
is this term a prolog integer term? |
boolean |
isReal()
is this term a prolog real term? |
boolean |
isTypeDouble()
is a double Real number? |
boolean |
isTypeFloat()
is a float Real number? |
boolean |
isTypeInt()
is an int Integer number? |
boolean |
isTypeLong()
is a long Integer number? |
long |
longValue()
Returns the value of the Integer as long |
java.lang.String |
toString()
|
| Methods inherited from class alice.tuprolog.Number |
copy, getTerm, isAtom, isAtomic, isCompound, isGround, isList, isNull, isNumber, isStruct, isVar |
| Methods inherited from class alice.tuprolog.Term |
equals, getIterator, getRenamedCopy, match, parse, parse, resolveVariables, unify |
| Methods inherited from class java.lang.Object |
getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
public Long(long v)
| Method Detail |
public final int intValue()
intValue in class Numberpublic final float floatValue()
floatValue in class Numberpublic final double doubleValue()
doubleValue in class Numberpublic final long longValue()
longValue in class Numberpublic final boolean isInteger()
isInteger in class Numberpublic final boolean isReal()
isReal in class Numberpublic final boolean isTypeInt()
isTypeInt in class Numberpublic final boolean isTypeFloat()
isTypeFloat in class Numberpublic final boolean isTypeDouble()
isTypeDouble in class Numberpublic final boolean isTypeLong()
isTypeLong in class Numberpublic boolean isGreater(Term t)
isGreater in class Termpublic boolean isEqual(Term t)
isEqual in class Termpublic java.lang.String toString()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||