tarau.jinni
Class Conj

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

public class Conj

extends Cons

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

Conj(Term x0, Term x1)

Method Summary

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

Methods inherited from class tarau.jinni.Cons

getHead, getTail

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

Conj

public Conj(Term x0,
            Term x1)

Method Detail

conjToString

public java.lang.String conjToString()

toString

public java.lang.String toString()

Description copied from class: Cons

List printer.

Overrides:

toString in class Cons

getHead

public static final Term getHead(Term T)

getTail

public static final Term getTail(Term T)