tarau.jinni
Class Int

java.lang.Object
  |
  +--tarau.jinni.Term
        |
        +--tarau.jinni.Nonvar
              |
              +--tarau.jinni.Num
                    |
                    +--tarau.jinni.Int

public class Int

extends Num

Field Summary

(package private) long

val

Fields inherited from class tarau.jinni.Term

CONST, INT, JAVA, REAL, VAR

Constructor Summary

Int(long i)

Method Summary

(package private) boolean	bind_to(Term that, Trail trail)
int	getArity() returns or fakes an arity for all subtypes
double	getValue()
int	intValue()
long	longValue()
java.lang.String	name()

Methods inherited from class tarau.jinni.Num

toString

Methods inherited from class tarau.jinni.Nonvar

eq, listify, unify_to

Methods inherited from class tarau.jinni.Term

action, charsToString, copy, exec, exec, fromString, getKey, isBuiltin, isClause, matches, matching_copy, numbervars, pprint, pprint, reaction, ref, stringToChars, toChars, toClause, token, toObject, toTerm, toUnquoted, undo, unify, varsOf

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Field Detail

val

long val

Constructor Detail

Int

public Int(long i)

Method Detail

name

public java.lang.String name()

Overrides:

name in class Nonvar

bind_to

boolean bind_to(Term that,
                Trail trail)

Overrides:

bind_to in class Nonvar

getArity

public final int getArity()

Description copied from class: Term

returns or fakes an arity for all subtypes

Overrides:

getArity in class Term

longValue

public final long longValue()

intValue

public final int intValue()

getValue

public final double getValue()

Overrides:

getValue in class Num