tarau.jinni
Class Real

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

public class Real

extends Num

Part of the Term hierarchy, implementing double float point numbers.

See Also:

Term, Nonvar

Field Summary

(package private) double

val

Fields inherited from class tarau.jinni.Term

CONST, INT, JAVA, REAL, VAR

Constructor Summary

Real(double i)

Method Summary

(package private) boolean	bind_to(Term that, Trail trail)
int	getArity() returns or fakes an arity for all subtypes
double	getValue()
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

double val

Constructor Detail

Real

public Real(double 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

getValue

public final double getValue()

Overrides:

getValue in class Num