exp
Class ImpSexp

java.lang.Object
  |
  +--exp.Sexp
        |
        +--exp.AtomSexp
              |
              +--exp.IdentSexp
                    |
                    +--exp.OpSexp
                          |
                          +--exp.LogicSexp
                                |
                                +--exp.ImpSexp

public class ImpSexp

extends LogicSexp

ImpSexp Classe per l'operatore di implicazione

Version:

01/02/2000

Author:

Marco Chiesi

Fields inherited from class exp.IdentSexp

id

Fields inherited from class exp.Sexp

EOF, FALSE, NIL, TRUE

Constructor Summary

ImpSexp()

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

accept2, append, assoc, atom, caar, cadr, car, cdar, cddr, cdr, cons, dup, 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

ImpSexp

public ImpSexp()