Interpreter.PrologInterpreter.Sexp.Infix
Class NotEqualSexp

java.lang.Object
  |
  +--Interpreter.Sexp.Sexp
        |
        +--Interpreter.Sexp.ConsSexp
              |
              +--Interpreter.PrologInterpreter.Sexp.TermSexp
                    |
                    +--Interpreter.PrologInterpreter.Sexp.Infix.InfixSexp
                          |
                          +--Interpreter.PrologInterpreter.Sexp.Infix.NotEqualSexp

public class NotEqualSexp
extends InfixSexp

Un oggetto NotEqualSexp è una S-expression costruita con l'operatore relazionale \==.


Fields inherited from class Interpreter.PrologInterpreter.Sexp.Infix.InfixSexp
dx, sx
 
Fields inherited from class Interpreter.PrologInterpreter.Sexp.TermSexp
priority, Prolog, PrologTerm, Spaces
 
Fields inherited from class Interpreter.Sexp.ConsSexp
head, tail
 
Fields inherited from class Interpreter.Sexp.Sexp
BEGIN_S, COUPLE_S, END_S, isAList, Lisp, nil, NIL_S, SEP_S, Separators
 
Constructor Summary
NotEqualSexp(Sexp h, Sexp t)
          Costruisce una nuova NotEqualSexp.
 
Method Summary
 void accept(SexpVisitor e)
          Accetta un SexpVisitor per la valutazione.
 
Methods inherited from class Interpreter.PrologInterpreter.Sexp.Infix.InfixSexp
choose, toString, toString
 
Methods inherited from class Interpreter.PrologInterpreter.Sexp.TermSexp
argList, argNum, first, functor, getPriority, getVarList, second, toStringInList, unify
 
Methods inherited from class Interpreter.Sexp.ConsSexp
append, car, cdr, count, equals, isEq, reverse, setIsAList
 
Methods inherited from class Interpreter.Sexp.Sexp
isAList, reverse
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

NotEqualSexp

public NotEqualSexp(Sexp h,
                    Sexp t)
Costruisce una nuova NotEqualSexp.
Parameters:
h - primo elemento costituente la NotEqualSexp;
t - secondo elemento costituente la NotEqualSexp;
Method Detail

accept

public void accept(SexpVisitor e)
            throws InterpreterException
Accetta un SexpVisitor per la valutazione.
Parameters:
e - oggetto che realizza un Pattern Visitor per le Sexp.
Overrides:
accept in class TermSexp


Codice realizzato da Francesco Geri & Marco Tamanti