tarau.jinni
Class Cons

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

Direct Known Subclasses:

Conj, LazyList

public class Cons

extends Fun

List Constructor. Cooperates with terminator Nil.

See Also:

Nil

Fields inherited from class tarau.jinni.Fun

args

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

Cons(java.lang.String cons, Term x0, Term x1)

Cons(Term x0, Term x1)

Method Summary

Term	getHead()
Term	getTail()
java.lang.String	toString() List printer.

Methods inherited from class tarau.jinni.Fun

bind_to, funClone, funToString, getArg, getArity, getIntArg, init, initializedClone, isClause, listify, putArg, reaction, setArg, show_args, toBuiltin, token, unify_to, unInitializedClone, watchNull

Methods inherited from class tarau.jinni.Const

eq, getKey, name, qname, the, toUnquoted

Methods inherited from class tarau.jinni.Term

action, charsToString, copy, exec, exec, fromString, isBuiltin, matches, matching_copy, numbervars, pprint, pprint, ref, stringToChars, toChars, toClause, 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

Cons

public Cons(java.lang.String cons,
            Term x0,
            Term x1)

Cons

public Cons(Term x0,
            Term x1)

Method Detail

getHead

public Term getHead()

getTail

public Term getTail()

toString

public java.lang.String toString()

List printer.

Overrides:

toString in class Fun