exp.prolog
Class Clause

java.lang.Object
  |
  +--exp.Sexp
        |
        +--exp.ConsSexp
              |
              +--exp.prolog.NonAtomicTerm
                    |
                    +--exp.prolog.Clause

public class Clause

extends NonAtomicTerm

Clause Classe per le clausole

Version:

2/2/2000

Author:

Marco Chiesi

Fields inherited from class exp.ConsSexp

isAList, left, right

Fields inherited from class exp.Sexp

EOF, FALSE, NIL, TRUE

Constructor Summary

Clause(Sexp t1, Sexp t2)

Method Summary

Sexp	dup() Creazione di un clone dell'espressione
Sexp	getBody()
Sexp	getFirst()
Sexp	getHead()
Sexp	getRest()
java.lang.String	separator()
java.lang.String	toString()

Methods inherited from class exp.prolog.NonAtomicTerm

ref

Methods inherited from class exp.ConsSexp

accept, car, cdr, changeVal, insertVal, isAtom, isEq, isList, isNull, toSimpleString

Methods inherited from class exp.Sexp

accept2, 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

Clause

public Clause(Sexp t1,
              Sexp t2)

Method Detail

separator

public java.lang.String separator()

Overrides:

separator in class ConsSexp

getHead

public Sexp getHead()

getBody

public Sexp getBody()

getFirst

public Sexp getFirst()

getRest

public Sexp getRest()

toString

public java.lang.String toString()

Overrides:

toString in class NonAtomicTerm

dup

public Sexp dup()
         throws java.lang.CloneNotSupportedException

Description copied from class: Sexp

Creazione di un clone dell'espressione

Overrides:

dup in class ConsSexp