exp.prolog
Class Unif

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

public class Unif

extends Symbol

Unif Classe per il simbolo ==

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

Unif()

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

Unif

public Unif()