tarau.jinni
Class PseudoVar

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

class PseudoVar

extends Const

Special constants, used to Name variables

See Also:

Term, Var

Fields inherited from class tarau.jinni.Const

aFail, anEof, aNil, aNo, aTrue, aYes, sym

Fields inherited from class tarau.jinni.Term

CONST, INT, JAVA, REAL, VAR

Constructor Summary

(package private)	PseudoVar(int i)
(package private)	PseudoVar(java.lang.String s)

Method Summary

java.lang.String

toString()

Methods inherited from class tarau.jinni.Const

bind_to, eq, getArity, getKey, name, qname, the, toBuiltin, toUnquoted

Methods inherited from class tarau.jinni.Nonvar

listify, unify_to

Methods inherited from class tarau.jinni.Term

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

Methods inherited from class java.lang.Object

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

Constructor Detail

PseudoVar

PseudoVar(int i)

PseudoVar

PseudoVar(java.lang.String s)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class Const