tarau.jinni
Class Nonvar

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

Direct Known Subclasses:

Const, Num, SystemObject

public abstract class Nonvar

extends Term

Part of the Prolog Term hierarchy

See Also:

Term

Fields inherited from class tarau.jinni.Term

CONST, INT, JAVA, REAL, VAR

Constructor Summary

Nonvar()

Method Summary

(package private) boolean	bind_to(Term that, Trail trail)
(package private) boolean	eq(Term that)
(package private) Const	listify() returns a list representation of the object
abstract java.lang.String	name()
(package private) boolean	unify_to(Term that, Trail trail) Unify dereferenced

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, toString, wait, wait, wait

Constructor Detail

Nonvar

public Nonvar()

Method Detail

name

public abstract java.lang.String name()

bind_to

boolean bind_to(Term that,
                Trail trail)

Overrides:

bind_to in class Term

unify_to

boolean unify_to(Term that,
                 Trail trail)

Description copied from class: Term

Unify dereferenced

Overrides:

unify_to in class Term

eq

boolean eq(Term that)

Overrides:

eq in class Term

listify

Const listify()

returns a list representation of the object