Interpreter.PrologInterpreter.Sexp.Infix.RelExpr
Class ArNotEqualSexp

java.lang.Object
  |
  +--Interpreter.Sexp.Sexp
        |
        +--Interpreter.Sexp.ConsSexp
              |
              +--Interpreter.PrologInterpreter.Sexp.TermSexp
                    |
                    +--Interpreter.PrologInterpreter.Sexp.Infix.InfixSexp
                          |
                          +--Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.RelExprSexp
                                |
                                +--Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.ArNotEqualSexp

public class ArNotEqualSexp

extends RelExprSexp

Un oggetto ArNotEqualSexp è 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

ArNotEqualSexp(Sexp h, Sexp t)
Costruisce una nuova ArNotEqualSexp.

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

ArNotEqualSexp

public ArNotEqualSexp(Sexp h,
                      Sexp t)

Costruisce una nuova ArNotEqualSexp.

Parameters:

h - primo elemento costituente la ArNotEqualSexp;

t - secondo elemento costituente la ArNotEqualSexp;

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