tarau.jinni
Class Num

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

Direct Known Subclasses:

Int, Real

public abstract class Num

extends Nonvar

Abstract numeric class, part of the Term hierarchy

See Also:

Int, Real, Term

Fields inherited from class tarau.jinni.Term

CONST, INT, JAVA, REAL, VAR

Constructor Summary

Num()

Method Summary

abstract double	getValue()
java.lang.String	toString()

Methods inherited from class tarau.jinni.Nonvar

bind_to, eq, listify, name, unify_to

Methods inherited from class tarau.jinni.Term

action, charsToString, copy, exec, exec, fromString, getArity, 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

Constructor Detail

Num

public Num()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getValue

public abstract double getValue()