Interpreter.PrologInterpreter.Sexp.Terms
Class SetOfTerm

java.lang.Object
  |
  +--Interpreter.Sexp.Sexp
        |
        +--Interpreter.Sexp.ConsSexp
              |
              +--Interpreter.PrologInterpreter.Sexp.TermSexp
                    |
                    +--Interpreter.PrologInterpreter.Sexp.Terms.SetOfTerm

public class SetOfTerm

extends TermSexp

Un oggetto SetOfTerm è il termine setof, predefinito in prolog. Il termine setof è a 3 argomenti. Unifica con il terzo argomento l'insieme di tutte le soluzioni alla query data dal suo secondo argomento al variare del primo.

Nella versione 1.0 non è implementato.

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

SetOfTerm(Sexp args)
Costruisce una nuova SetOfTerm.

Method Summary

void	accept(SexpVisitor e) Accetta un PrologSexpVisitor per la valutazione.

Methods inherited from class Interpreter.PrologInterpreter.Sexp.TermSexp

argList, argNum, first, functor, getPriority, getVarList, second, toString, toString, 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

SetOfTerm

public SetOfTerm(Sexp args)

Costruisce una nuova SetOfTerm.

Parameters:

args - lista degli argomenti del termine.

Method Detail

accept

public void accept(SexpVisitor e)
            throws InterpreterException

Accetta un PrologSexpVisitor per la valutazione.

Parameters:

e - oggetto che realizza un Pattern Visitor per le Sexp.

Overrides:

accept in class TermSexp