exp.prolog
Class True

java.lang.Object
  |
  +--exp.Sexp
        |
        +--exp.AtomSexp
              |
              +--exp.IdentSexp
                    |
                    +--exp.prolog.AtomicTerm
                          |
                          +--exp.prolog.Symbol
                                |
                                +--exp.prolog.True

public class True
extends Symbol

True Classe per il simbolo True

Version:
2/2/2000
Author:
Marco Chiesi

Fields inherited from class exp.IdentSexp
id
 
Fields inherited from class exp.Sexp
EOF, FALSE, NIL, TRUE
 
Constructor Summary
True()
           
 
Methods inherited from class exp.prolog.Symbol
accept2, dup
 
Methods inherited from class exp.prolog.AtomicTerm
ref
 
Methods inherited from class exp.IdentSexp
accept, isEq, isNull, toSimpleString, toString
 
Methods inherited from class exp.AtomSexp
car, cdr, isAtom, isList
 
Methods inherited from class exp.Sexp
append, assoc, atom, caar, cadr, car, cdar, cddr, cdr, cons, eq, isAnAtom, isAtom, isEq, isList, isNull, isPair, length, list1, list2, list3, list4, list5, listArray, member, pairList, selfEvaluating, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

True

public True()