A B C D E F G H I K L M N O P Q R S T U V W

A

AboutFrame - class Interpreter.Utils.AboutFrame.
Frame tramite cui vengono presentate le informazioni relative al progetto Interpreter.
AboutFrame() - Constructor for class Interpreter.Utils.AboutFrame
Costruisce un nuovo AboutFrame.
accept(SexpVisitor) - Method in class Interpreter.Extension.SqrSexp
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.TermSexp
Accetta un SexpVisitor.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.NilListSexp
Accetta un SexpVisitor.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.DottedTermSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.DottedQuerySexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.VarSexp
Accetta un Visitor.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.DottedClauseSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.NlSexp
Accetta un SexpVisitor.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.ListingSexp
Accetta un SexpVisitor.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.CutSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.FailSexp
Accetta un SexpVisitor.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.UnifySexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.IsSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.TermToListSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.NotEqualSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.ClauseSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.OrSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.AndSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.EqualSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.Expr.ExpOnSexp
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.Expr.DivSexp
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.Expr.PlusSexp
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.Expr.MulSexp
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.Expr.MinusSexp
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.EqualLessSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.GreatSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.ArNotEqualSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.LessSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.GreatEqualSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.ArEqualSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Prefix.QuerySexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Prefix.UnaryClauseSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Prefix.NotSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Prefix.Expr.UnaryMinusSexp
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Prefix.Expr.UnaryPlusSexp
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.AtomTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.ListSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.NonVarTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.WriteTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.VarTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.AssertaTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.ClauseTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.AssertzTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.AssertTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.RetractAllTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.FunctorTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.ListingTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.IntegerTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.GroundTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.RetractTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.RandomTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.AtomicTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.BagOfTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.TrueTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.ArgTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.FindAllTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.ReadTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.CallTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.NameTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.NumberTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.SetOfTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.CompoundTerm
Accetta un PrologSexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.Sexp.Sexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.Sexp.ConsSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.Sexp.IdentSexp
Accetta un SexpVisitor per la valutazione.
accept(SexpVisitor) - Method in class Interpreter.Sexp.NilSexp
Accetta un SexpVisitor per la valutazione.
addCode - Variable in class Interpreter.Lisp
 
addLisp(String, String) - Method in class Interpreter.AppletInterpreter.InterpreterApplet
Per aggiungere all'help del lisp i commenti dei nuovi comandi.
addLisp(String, String) - Method in class Interpreter.Utils.HelpFrame
Per aggiungere commenti all'help lisp.
addProlog(String, String) - Method in class Interpreter.AppletInterpreter.InterpreterApplet
Per aggiungere all'help del prolog i commenti dei nuovi comandi.
addProlog(String, String) - Method in class Interpreter.Utils.HelpFrame
Per aggiungere commenti all'help prolog.
already(Sexp, IdentSexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Controlla se esiste già un identificatore nell'environment.
AndSexp - class Interpreter.PrologInterpreter.Sexp.Infix.AndSexp.
Un oggetto AndSexp è un termine con funtore ",".
AndSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.AndSexp
Costruisce una nuova AndSexp.
answer - Variable in class Interpreter.Utils.MyDialog
Risposta: se è stato pigiato il tasto yes answer sarà true, altrimenti false.
append(Sexp) - Method in class Interpreter.Sexp.Sexp
Costruisce una concatenazione di Sexp.
append(Sexp) - Method in class Interpreter.Sexp.ConsSexp
Costruisce una concatenazione di Sexp.
append(Sexp) - Method in class Interpreter.Sexp.AtomSexp
Costruisce una concatenazione di Sexp.
append(Sexp) - Method in class Interpreter.Sexp.NilSexp
Costruisce una concatenazione di Sexp.
apply(Sexp, Sexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Applica un funtore alla sua lista di argomenti.
Il funtore può essere una primitiva, una closure o una macro.
applyClosure(Sexp, Sexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Applica una closure alla sua lista di argomenti.
applyMacro(Sexp, Sexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Applica una macro alla sua lista di argomenti.
applyOperation(OperationToken, Sexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Applica una primitiva di tipo OperationalSet alla sua lista di argomenti.
applyPrimitive(PrimitiveToken, Sexp) - Method in class Interpreter.Extension.ExtendedLispEvalSexpVisitor
Applica una primitiva alla sua lista di argomenti.
applyPrimitive(PrimitiveToken, Sexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Applica una primitiva alla sua lista di argomenti.
applyRelation(RelationToken, Sexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Applica una primitiva di tipo Relational alla sua lista di argomenti.
ArEqualSexp - class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.ArEqualSexp.
Un oggetto ArEqualSexp è una S-expression costruita con l'operatore relazionale ==.
ArEqualSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.ArEqualSexp
Costruisce una nuova ArEqualSexp.
argList() - Method in class Interpreter.PrologInterpreter.Sexp.TermSexp
Restituisce la lista degli argomenti del termine.
ArgList(Sexp) - Method in class Interpreter.PrologInterpreter.RenameVisitor
Costruisce una lista di argomenti con le variabili rinominate rispetto ad argList.
argnum - Variable in class Interpreter.PrologInterpreter.OpSexp
Numero di argomenti.
argNum() - Method in class Interpreter.PrologInterpreter.OpSexp
Restituisce il numero di argomenti dell'OpSexp.
argNum() - Method in class Interpreter.PrologInterpreter.Sexp.TermSexp
Restituisce il numero di argomenti del termine.
ArgsSexp - class Interpreter.PrologInterpreter.Sexp.ArgsSexp.
Un oggetto ArgsSexp è una S-expression non atomica.
ArgsSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.ArgsSexp
Costruisce una nuova ArgsSexp.
ArgTerm - class Interpreter.PrologInterpreter.Sexp.Terms.ArgTerm.
Un oggetto ArgTerm è il termine arg, predefinito in prolog.
ArgTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.ArgTerm
Costruisce una nuova ArgTerm.
ArNotEqualSexp - class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.ArNotEqualSexp.
Un oggetto ArNotEqualSexp è una S-expression costruita con l'operatore relazionale \==.
ArNotEqualSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.ArNotEqualSexp
Costruisce una nuova ArNotEqualSexp.
AssertaTerm - class Interpreter.PrologInterpreter.Sexp.Terms.AssertaTerm.
Un oggetto AssertaTerm è il termine asserta, predefinito in prolog.
AssertaTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.AssertaTerm
Costruisce una nuova AssertaTerm.
AssertTerm - class Interpreter.PrologInterpreter.Sexp.Terms.AssertTerm.
Un oggetto AssertTerm è il termine assert, predefinito in prolog.
AssertTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.AssertTerm
Costruisce una nuova AssertTerm.
AssertzTerm - class Interpreter.PrologInterpreter.Sexp.Terms.AssertzTerm.
Un oggetto AssertzTerm è il termine assertz, predefinito in prolog.
AssertzTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.AssertzTerm
Costruisce una nuova AssertzTerm.
assoc(Sexp, Sexp, boolean) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Data una lista di variabili ed una lista di valori da assegnare a tali variabili, costruisce una lista di coppie variabile-valore.
atom(String) - Method in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Specifies that the string atom is a token.
AtomicTerm - class Interpreter.PrologInterpreter.Sexp.Terms.AtomicTerm.
Un oggetto AtomicTerm è il termine atomic, predefinito in prolog.
AtomicTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.AtomicTerm
Costruisce una nuova AtomicTerm.
AtomSexp - class Interpreter.Sexp.AtomSexp.
Un oggetto AtomSexp è una S-expression atomica.
AtomSexp() - Constructor for class Interpreter.Sexp.AtomSexp
 
AtomTerm - class Interpreter.PrologInterpreter.Sexp.Terms.AtomTerm.
Un oggetto AtomTerm è il termine atom, predefinito in prolog.
AtomTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.AtomTerm
Costruisce una nuova AtomTerm.
available() - Method in class Interpreter.Utils.InputBuffer
Returns the number of bytes that can be read (or skipped over) from this input stream without blocking by the next caller of a method for this input stream.

B

backtrack(Sexp) - Method in class Interpreter.PrologInterpreter.Unifier
Esegue il backtracking sulla lista delle variabili list.
BagOfTerm - class Interpreter.PrologInterpreter.Sexp.Terms.BagOfTerm.
Un oggetto BagOfTerm è il termine bagof, predefinito in prolog.
BagOfTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.BagOfTerm
Costruisce una nuova BagOfTerm.
BEGIN_S - Static variable in class Interpreter.Sexp.Sexp
Costante che serve per indirizzare la stringa corrispondente all'inizio di una lista all'interno dell'array sep nel metodo toString(String[] sep).
build(Sexp, Sexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Costruisce un nuovo termine predefinito.
buildObject(Sexp) - Method in class Interpreter.PrologInterpreter.OpSexp
Costruisce l'oggetto della classe corrispondente all'operatore.
buildObject(Sexp, Sexp) - Method in class Interpreter.PrologInterpreter.OpSexp
Costruisce l'oggetto della classe corrispondente all'operatore.
BuildSpecial(String) - Method in class Interpreter.LispInterpreter.LispLexer.LispLexer
Definisce il comportamento del lexer per le chiavi particolari.
BuildSpecial(String) - Method in class Interpreter.PrologInterpreter.PrologLexer.PrologLexer
Definisce il comportamento del lexer per le chiavi particolari.
BuildSpecial(String) - Method in class Interpreter.Sexp.Utils.Lexer.Lexer
Funzione che deve essere specializzata dalle classi derivate per trattare tutti i casi particolari definiti in SpecialSet.
Se non ridefinito, il metodo BuildSpecial genera n'eccezione.
buildTerm(Sexp) - Method in class Interpreter.PrologInterpreter.OpSexp
Costruisce l'oggetto della classe corrispondente al termine.

C

CallTerm - class Interpreter.PrologInterpreter.Sexp.Terms.CallTerm.
Un oggetto CallTerm è il termine call, predefinito in prolog.
CallTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.CallTerm
Costruisce una nuova CallTerm.
car() - Method in class Interpreter.Sexp.Sexp
Restituisce la testa della Sexp.
car() - Method in class Interpreter.Sexp.ConsSexp
Restituisce la testa della ConsSexp.
car() - Method in class Interpreter.Sexp.AtomSexp
Lancia una eccezione incondizionatamente.
cars(Sexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Costruisce la lista dei car di ogni sottolista di una lista di liste.
Il car di una lista è la testa della lista.
cdr() - Method in class Interpreter.Sexp.Sexp
Restituisce la coda della Sexp.
cdr() - Method in class Interpreter.Sexp.ConsSexp
Restituisce la coda della ConsSexp.
cdr() - Method in class Interpreter.Sexp.AtomSexp
Lancia una eccezione incondizionatamente.
cdrs(Sexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Costruisce la lista dei car dei cdr di ogni sottolista di una lista di liste.
checkEvalArgs(Sexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Conta il numero di argomenti in argList e li valuta, ponendo ordinatamente sullo stack i risultati delle valutazioni.
checknVals(Sexp, Sexp, boolean, String) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Data una lista di variabili ed una lista di valori da assegnare a tali variabili, costruisce una lista di coppie variabile-valore.
choose(Sexp) - Method in class Interpreter.PrologInterpreter.Sexp.Postfix.PostfixSexp
Restituisce l'operando "op" in forma di stringa.
choose(Sexp) - Method in class Interpreter.PrologInterpreter.Sexp.Prefix.PrefixSexp
Restituisce l'operando "op" in forma di stringa.
choose(Sexp, boolean) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.InfixSexp
Restituisce l'operando "op" in forma di stringa.
classe - Variable in class Interpreter.PrologInterpreter.OpSexp
Classe tramite cui costruire l'operatore o il termine.
ClauseSexp - class Interpreter.PrologInterpreter.Sexp.Infix.ClauseSexp.
Un oggetto ClauseSexp è una clausola Prolog.
ClauseSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.ClauseSexp
Costruisce una nuova ClauseSexp.
ClauseTerm - class Interpreter.PrologInterpreter.Sexp.Terms.ClauseTerm.
Un oggetto ClauseTerm è il termine clause, predefinito in prolog.
ClauseTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.ClauseTerm
Costruisce una nuova ClauseTerm.
ClauseVector - class Interpreter.PrologInterpreter.ClauseVector.
La classe ClauseVector è identica alla classe java.util.Vector.
ClauseVector() - Constructor for class Interpreter.PrologInterpreter.ClauseVector
Costruisce una nuova ClauseVector.
ClauseVector(Collection) - Constructor for class Interpreter.PrologInterpreter.ClauseVector
Costruisce una nuova ClauseVector inserendo gli elementi della collezione c.
clearStackAndLocalEnv() - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Riporta il visitor allo stato di partenza, senza svuotare il global environment.
Clone() - Method in class Interpreter.Sexp.Utils.SexpHashtable
Crea una deep copy dell'oggetto.
closureIdent - Variable in class Interpreter.LispInterpreter.EvalSexpVisitor
Identificativo.
comment - Variable in class Interpreter.Sexp.Utils.InterpreterException
 
commentChar(int) - Method in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Specified that the character argument starts a single-line comment.
CompleteDerefVisitor - class Interpreter.PrologInterpreter.CompleteDerefVisitor.
Visitor che ricrea un termine prolog dereferenziando le variabili e valutandole.
CompleteDerefVisitor(SexpHashtable) - Constructor for class Interpreter.PrologInterpreter.CompleteDerefVisitor
Costruisce un nuovo CompleteDerefVisitor.
CompoundTerm - class Interpreter.PrologInterpreter.Sexp.Terms.CompoundTerm.
Un oggetto CompoundTerm è il termine compound, predefinito in prolog.
CompoundTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.CompoundTerm
Costruisce una nuova CompoundTerm.
ConsSexp - class Interpreter.Sexp.ConsSexp.
Un oggetto ConsSexp è una S-expression non atomica.
ConsSexp(Sexp, Sexp) - Constructor for class Interpreter.Sexp.ConsSexp
Costruisce una nuova ConsSexp.
contains(Sexp) - Method in class Interpreter.PrologInterpreter.PrologLexer.PrologLexer
Controlla se la stringa corrispondente alla Sexp passata come parametro appartiene ad uno dei Set di parole o simboli chiave.
contains(Sexp) - Method in class Interpreter.Sexp.Utils.SexpHashtable
Returns true if the specified Sexp object is an element of the hashtable.
Contains(Sexp, Sexp) - Method in class Interpreter.PrologInterpreter.Unifier
Controlla se lo specificato termine composto contiene la specificata variabile o un riferimento ad essa.
containsKey(String) - Method in class Interpreter.Sexp.Utils.SexpHashtable
Returns true if the collection contains an element for the key.
count() - Method in class Interpreter.Sexp.Sexp
Conta il numero di elementi di una lista.
count() - Method in class Interpreter.Sexp.ConsSexp
Conta il numero di elementi della lista.
count() - Method in class Interpreter.Sexp.AtomSexp
Conta il numero di elementi di una lista.
count() - Method in class Interpreter.Sexp.NilSexp
Conta il numero di elementi di una lista.
COUPLE_S - Static variable in class Interpreter.Sexp.Sexp
Costante che serve per indirizzare la stringa corrispondente al separatore di coppia all'interno dell'array sep nel metodo toString(String[] sep).
CutSexp - class Interpreter.PrologInterpreter.Sexp.CutSexp.
Un oggetto CutSexp è una S-expression non atomica rappresentante il predicato prolog cut.
CutSexp() - Constructor for class Interpreter.PrologInterpreter.Sexp.CutSexp
Costruisce una nuova CutSexp.

D

dataBase - Variable in class Interpreter.PrologInterpreter.EngineSexpVisitor
Database globale usato per la valutazione.
DataBase - class Interpreter.PrologInterpreter.DataBase.
Database contenente termini e clausole prolog.
DataBase() - Constructor for class Interpreter.PrologInterpreter.DataBase
Costruisce un nuovo database.
deref(Sexp) - Method in class Interpreter.PrologInterpreter.Unifier
Dereferenzia una variabile seguendo la catena di riferimenti nella tabella delle sostituzioni.
DerefVisitor - class Interpreter.PrologInterpreter.DerefVisitor.
Visitor che ricrea un termine prolog dereferenziando le variabili.
DerefVisitor(SexpHashtable, SexpHashtable) - Constructor for class Interpreter.PrologInterpreter.DerefVisitor
Costruisce un nuovo DerefVisitor.
DIFFERS - Static variable in class Interpreter.PrologInterpreter.Unifier
Identificatore per il fallimento dell'unificazione.
DivSexp - class Interpreter.PrologInterpreter.Sexp.Infix.Expr.DivSexp.
Un oggetto DivSexp è una S-expression costruita con l'operatore aritmetico /.
DivSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.Expr.DivSexp
Costruisce una nuova DivSexp.
DottedClauseSexp - class Interpreter.PrologInterpreter.Sexp.DottedClauseSexp.
Un oggetto DottedClauseSexp è una S-expression non atomica rappresentante una clausola Prolog con punto finale.
DottedClauseSexp(ClauseSexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.DottedClauseSexp
Costruisce una nuova ClauseSexp.
DottedQuerySexp - class Interpreter.PrologInterpreter.Sexp.DottedQuerySexp.
Un oggetto QuerySexp è una S-expression non atomica rappresentante una query Prolog.
DottedQuerySexp(QuerySexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.DottedQuerySexp
Costruisce una nuova QuerySexp.
DottedTermSexp - class Interpreter.PrologInterpreter.Sexp.DottedTermSexp.
Un oggetto TermSexp è una S-expression non atomica.
DottedTermSexp(TermSexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.DottedTermSexp
Costruisce una nuova TermSexp.
dx - Variable in class Interpreter.PrologInterpreter.Sexp.Infix.InfixSexp
Associatività a destra dell'operatore.
dx - Variable in class Interpreter.PrologInterpreter.Sexp.Prefix.PrefixSexp
Associatività a sinistra dell'operatore.

E

END_S - Static variable in class Interpreter.Sexp.Sexp
Costante che serve per indirizzare la stringa corrispondente alla fine di una lista all'interno dell'array sep nel metodo toString(String[] sep).
EngineSexpVisitor - class Interpreter.PrologInterpreter.EngineSexpVisitor.
Un oggetto EngineSexpVisitor realizza un Pattern Visitor per una s-expression.
EngineSexpVisitor(InputBuffer, OutputBuffer, NewParser, Class) - Constructor for class Interpreter.PrologInterpreter.EngineSexpVisitor
Costruisce un nuovo EngineSexpVisitor.
env - Variable in class Interpreter.LispInterpreter.EvalSexpVisitor
SexpHashtable globale usato per la valutazione.
EofToken - class Interpreter.Sexp.Tokens.EofToken.
Un EofToken è la primitiva "EOF" ed indica la fine del file.
EofToken() - Constructor for class Interpreter.Sexp.Tokens.EofToken
Costruisce un nuovo EofToken.
eolIsSignificant(boolean) - Method in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Determines whether or not ends of line are treated as tokens.
EqualLessSexp - class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.EqualLessSexp.
Un oggetto EqualLessSexp è una S-expression costruita con l'operatore relazionale =<.
EqualLessSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.EqualLessSexp
Costruisce una nuova EqualLessSexp.
equals(Object) - Method in class Interpreter.Sexp.AtomSexp
Controlla se la stringa contenuta in questa Sexp è uguale alla stringa ottenuta applicando il metodo toString ad s.
equals(String) - Method in class Interpreter.Sexp.Sexp
Controlla se la stringa contenuta in questa Sexp è uguale a s.
equals(String) - Method in class Interpreter.Sexp.ConsSexp
Controlla se questa ConsSexp contiene un elemento la cui stringa rappresentativa è s.
equals(String) - Method in class Interpreter.Sexp.AtomSexp
Controlla se la stringa contenuta in questa Sexp è uguale a s.
EqualSexp - class Interpreter.PrologInterpreter.Sexp.Infix.EqualSexp.
Un oggetto EqualSexp è una S-expression costruita con l'operatore relazionale ==.
EqualSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.EqualSexp
Costruisce una nuova EqualSexp.
ErrorMessage(PrimitiveToken, Sexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Lancia una eccezione con un messaggio di errore.
evalBackQuote(Sexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Applica la primitiva BackQuote (`) agli argomenti.
evalBody(Sexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Esegue la valutazione di una lista di s-expression.
evalCond(Sexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Valuta il corpo di una istruzione cond.
evalSet() - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Valuta una istruzione set prendendo il valore e la variabile dallo stack.
evalSetq(Sexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Valuta una istruzione setq.
EvalSexpVisitor - class Interpreter.LispInterpreter.EvalSexpVisitor.
Un oggetto EvalSexpVisitor realizza un Pattern Visitor per una s-expression.
EvalSexpVisitor - class Interpreter.PrologInterpreter.Sexp.Utils.EvalSexpVisitor.
Un oggetto SexpVisitor realizza un Pattern Visitor per una s-expression.
EvalSexpVisitor() - Constructor for class Interpreter.PrologInterpreter.Sexp.Utils.EvalSexpVisitor
 
EvalSexpVisitor(InputBuffer, OutputBuffer, Parser) - Constructor for class Interpreter.LispInterpreter.EvalSexpVisitor
Costruisce un nuovo EvalSexpVisitor.
EvalVisitor - class Interpreter.PrologInterpreter.EvalVisitor.
Un oggetto EvalVisitor realizza un Pattern Visitor per una s-expression.
EvalVisitor(SexpHashtable, SexpStack) - Constructor for class Interpreter.PrologInterpreter.EvalVisitor
Costruisce un nuovo EvalVisitor.
ExpOnSexp - class Interpreter.PrologInterpreter.Sexp.Infix.Expr.ExpOnSexp.
Un oggetto ExpOnSexp è una S-expression costruita con l'operatore aritmetico ^ (elevamento a potenza).
ExpOnSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.Expr.ExpOnSexp
Costruisce una nuova ExpOnSexp.
Expr - interface Interpreter.Sexp.Utils.Expr.
Deve essere implementata dalle espressioni aritmetiche.
ExtendedLispEvalSexpVisitor - class Interpreter.Extension.ExtendedLispEvalSexpVisitor.
Un oggetto ExtendedLispEvalSexpVisitor estende la classe EvalSexpVisitor.
ExtendedLispEvalSexpVisitor(InputBuffer, OutputBuffer, Parser) - Constructor for class Interpreter.Extension.ExtendedLispEvalSexpVisitor
Costruisce un nuovo ExtendedLispEvalSexpVisitor.
ExtendedPrologEngineVisitor - class Interpreter.Extension.ExtendedPrologEngineVisitor.
Un oggetto ExtendedPrologEngineVisitor estende la classe EvalSexpVisitor.
ExtendedPrologEngineVisitor(InputBuffer, OutputBuffer, NewParser, Class) - Constructor for class Interpreter.Extension.ExtendedPrologEngineVisitor
Costruisce un nuovo ExtendedPrologEngineVisitor.
ExtendedPrologEvalVisitor - class Interpreter.Extension.ExtendedPrologEvalVisitor.
Un oggetto ExtendedPrologEvalVisitor estende la classe EvalVisitor.
ExtendedPrologEvalVisitor(SexpHashtable, SexpStack) - Constructor for class Interpreter.Extension.ExtendedPrologEvalVisitor
Costruisce un nuovo ExtendedPrologEvaVisitor.

F

FailSexp - class Interpreter.PrologInterpreter.Sexp.FailSexp.
Un oggetto FailSexp è una S-expression non atomica rappresentante il predicato fail di fallimento.
FailSexp() - Constructor for class Interpreter.PrologInterpreter.Sexp.FailSexp
Costruisce una nuova FailSexp.
feed(Reader) - Method in class Interpreter.LispInterpreter.Parser
Crea un nuovo oggetto LispLexer inizializzato con l'oggetto Reader specificato.
feed(Reader) - Method in class Interpreter.PrologInterpreter.NewParser
Crea un nuovo lexer per fare il parsing dell'input preso da I.
feed(String) - Method in class Interpreter.LispInterpreter.Parser
Crea un nuovo oggetto LispLexer inizializzato con l'oggetto String specificato.
feed(String) - Method in class Interpreter.PrologInterpreter.NewParser
Crea un nuovo lexer per fare il parsing dell'input preso da s.
file - Variable in class Interpreter.LispInterpreter.EvalSexpVisitor
Nome del file letto dallo standard input tramite la primitiva file.
file - Variable in class Interpreter.PrologInterpreter.EngineSexpVisitor
Variabile in cui viene memorizzato il nome di un file che deve essere consultato.
FindAllTerm - class Interpreter.PrologInterpreter.Sexp.Terms.FindAllTerm.
Un oggetto FindAllTerm è il termine findall, predefinito in prolog.
FindAllTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.FindAllTerm
Costruisce una nuova FindAllTerm.
first() - Method in class Interpreter.PrologInterpreter.Sexp.TermSexp
Restituisce il primo termine nella lista degli argomenti.
functor() - Method in class Interpreter.PrologInterpreter.Sexp.TermSexp
Restituisce il funtore del termine.
FunctorTerm - class Interpreter.PrologInterpreter.Sexp.Terms.FunctorTerm.
Un oggetto FunctorTerm è il termine functor, predefinito in prolog.
FunctorTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.FunctorTerm
Costruisce una nuova FunctorTerm.

G

get(Sexp) - Method in class Interpreter.PrologInterpreter.DataBase
Restituisce una lista di tutte le clausole con funtore ed arity corrispondenti a termine = (functor (a,b,c)).
get(Sexp) - Method in class Interpreter.Sexp.Utils.SexpHashtable
Gets the Sexp object associated with the specified key in the hashtable.
get(String) - Method in class Interpreter.PrologInterpreter.DataBase
Restituisce una lista di tutte le clausole con funtore ed arity corrispondenti ai parametri.
get(String) - Method in class Interpreter.Sexp.Utils.SexpHashtable
Gets the Sexp object associated with the specified key in the hashtable.
get(String, int) - Method in class Interpreter.PrologInterpreter.DataBase
Restituisce una lista di tutte le clausole con funtore ed arity corrispondenti ai parametri.
getAppletInfo() - Method in class Interpreter.AppletInterpreter.InterpreterApplet
Restituice le informazioni sugli autori.
getComment() - Method in class Interpreter.Sexp.Utils.InterpreterException
Restituisce il commento.
getDataBase() - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Restituisce il DataBase interno all'EngineSexpVisitor.
getError() - Method in class Interpreter.PrologInterpreter.Unifier
Restituisce lo stato finale dopo una unificazione in formato di stringa.
getGlobalEnvironment() - Method in class Interpreter.Lisp
Restituisce il global environment. return il global environment preso da EvalSexpVisitor o da una sua sottoclasse corrente.
getGlobalEnvironment() - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Restituisce il global environment corrente.
getInner() - Method in class Interpreter.PrologInterpreter.Sexp.DottedTermSexp
Restituisce la clausola.
getInt() - Method in class Interpreter.Sexp.Utils.SexpInt
Restituisce il valore intero.
getParameter(String, String) - Method in class Interpreter.AppletInterpreter.InterpreterApplet
Returns the value of the named parameter in the HTML tag.
getPriority() - Method in class Interpreter.PrologInterpreter.Sexp.TermSexp
Restituisce la priorità del'operatore.
getResult() - Method in class Interpreter.PrologInterpreter.Unifier
Restituisce lo stato finale dopo una unificazione.
getResult() - Method in class Interpreter.Sexp.Utils.SexpVisitor
Restituisce il risultato della valutazione.
getSexp() - Method in class Interpreter.Sexp.Utils.SexpInt
Restituisce la S-expression.
getSource() - Method in class Interpreter.Sexp.Utils.InterpreterException
Restituisce la sorgente della InterpreterException.
getStack() - Method in class Interpreter.Sexp.Utils.SexpVisitor
Restituisce lo stack.
getThrough(String, int) - Method in class Interpreter.PrologInterpreter.DataBase
Restituisce una lista di tutte le clausole con funtore ed arity corrispondenti ai parametri.
getToken(String, boolean) - Method in class Interpreter.Sexp.Utils.Lexer.Lexer
Analizza le parole ed i caratteri ordinari trovati nella next().
getVal() - Method in class Interpreter.Sexp.Tokens.NumToken
Restituisce il double corrispondente al valore del numero reale o intero.
getValueFromLocalEnv(Sexp, Sexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Restituisce il valore corrispondente ad un identificatore presente in localEnv.
getVarList() - Method in class Interpreter.PrologInterpreter.Sexp.TermSexp
Restituisce la lista delle variabili del termine.
getVars() - Method in class Interpreter.PrologInterpreter.Sexp.DottedTermSexp
Restituisce la lista delle variabili del termine.
GreatEqualSexp - class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.GreatEqualSexp.
Un oggetto GreatEqualSexp è una S-expression costruita con l'operatore relazionale >=.
GreatEqualSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.GreatEqualSexp
Costruisce una nuova GreatEqualSexp.
GreatSexp - class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.GreatSexp.
Un oggetto GreatSexp è una S-expression costruita con l'operatore relazionale >.
GreatSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.GreatSexp
Costruisce una nuova GreatSexp.
GroundTerm - class Interpreter.PrologInterpreter.Sexp.Terms.GroundTerm.
Un oggetto GroundTerm è il termine ground, predefinito in prolog.
GroundTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.GroundTerm
Costruisce una nuova GroundTerm.

H

head - Variable in class Interpreter.Sexp.ConsSexp
La prima Sexp della coppia di Sexp costituente la ConsSexp
HelpFrame - class Interpreter.Utils.HelpFrame.
Frame di help.
HelpFrame() - Constructor for class Interpreter.Utils.HelpFrame
Costruisce un nuovo AboutFrame.

I

Ident() - Method in class Interpreter.Sexp.Tokens.IdentToken
Restituisce l'operatore sotto forma di stringa.
IdentSexp - class Interpreter.Sexp.IdentSexp.
Un oggetto IdentSexp è una S-expression atomica.
IdentSexp(String) - Constructor for class Interpreter.Sexp.IdentSexp
Costruisce un nuovo IdentSexp.
IdentToken - class Interpreter.Sexp.Tokens.IdentToken.
Un IdentToken è creato dall'Analizzatore Lessicale a partire da un identificatore.
IdentToken(String) - Constructor for class Interpreter.Sexp.Tokens.IdentToken
Costruisce un nuovo IdentToken.
incInt() - Method in class Interpreter.Sexp.Utils.SexpInt
Incrementa di una unità il valore intero.
InfixExprSexp - class Interpreter.PrologInterpreter.Sexp.Infix.Expr.InfixExprSexp.
Un oggetto InfixExprSexp è una S-expression costruita con operatori aritmetici.
InfixExprSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.Expr.InfixExprSexp
Costruisce una nuova InfixExprSexp.
infixOpSet - Variable in class Interpreter.PrologInterpreter.NewParser
Tabella degli operatori infissi.
InfixSexp - class Interpreter.PrologInterpreter.Sexp.Infix.InfixSexp.
Un oggetto InfixSexp è un termine costituito da un operatore infisso a due argomenti e dai suoi due argomenti.
InfixSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.InfixSexp
Costruisce una nuova InfixSexp.
init() - Method in class Interpreter.AppletInterpreter.InterpreterApplet
Called by the browser or applet viewer to inform this applet that it has been loaded into the system.
init(InputBuffer, OutputBuffer, NewParser) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Inizializza il motore di ricerca.
inner - Variable in class Interpreter.PrologInterpreter.Sexp.DottedTermSexp
Termine contenuto, cioè non dotted.
InputBuffer - class Interpreter.Utils.InputBuffer.
Buffer di input che estende le funzionalità del BufferedReader.
InputBuffer(InputStream) - Constructor for class Interpreter.Utils.InputBuffer
Costruisce un nuovo InputBuffer.
inRead - Variable in class Interpreter.PrologInterpreter.NewParser
Indica che stiamo facendo il parsing per il comando prolog read/1.
IntegerTerm - class Interpreter.PrologInterpreter.Sexp.Terms.IntegerTerm.
Un oggetto IntegerTerm è il termine integer, predefinito in prolog.
IntegerTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.IntegerTerm
Costruisce una nuova IntegerTerm.
Interpreter - package Interpreter
 
Interpreter.AppletInterpreter - package Interpreter.AppletInterpreter
 
Interpreter.Extension - package Interpreter.Extension
 
Interpreter.LispInterpreter - package Interpreter.LispInterpreter
 
Interpreter.LispInterpreter.LispLexer - package Interpreter.LispInterpreter.LispLexer
 
Interpreter.LispInterpreter.LispLexer.Sets - package Interpreter.LispInterpreter.LispLexer.Sets
 
Interpreter.PrologInterpreter - package Interpreter.PrologInterpreter
 
Interpreter.PrologInterpreter.PrologLexer - package Interpreter.PrologInterpreter.PrologLexer
 
Interpreter.PrologInterpreter.PrologLexer.Sets - package Interpreter.PrologInterpreter.PrologLexer.Sets
 
Interpreter.PrologInterpreter.Sexp - package Interpreter.PrologInterpreter.Sexp
 
Interpreter.PrologInterpreter.Sexp.Infix - package Interpreter.PrologInterpreter.Sexp.Infix
 
Interpreter.PrologInterpreter.Sexp.Infix.Expr - package Interpreter.PrologInterpreter.Sexp.Infix.Expr
 
Interpreter.PrologInterpreter.Sexp.Infix.RelExpr - package Interpreter.PrologInterpreter.Sexp.Infix.RelExpr
 
Interpreter.PrologInterpreter.Sexp.Postfix - package Interpreter.PrologInterpreter.Sexp.Postfix
 
Interpreter.PrologInterpreter.Sexp.Postfix.Expr - package Interpreter.PrologInterpreter.Sexp.Postfix.Expr
 
Interpreter.PrologInterpreter.Sexp.Prefix - package Interpreter.PrologInterpreter.Sexp.Prefix
 
Interpreter.PrologInterpreter.Sexp.Prefix.Expr - package Interpreter.PrologInterpreter.Sexp.Prefix.Expr
 
Interpreter.PrologInterpreter.Sexp.Terms - package Interpreter.PrologInterpreter.Sexp.Terms
 
Interpreter.PrologInterpreter.Sexp.Utils - package Interpreter.PrologInterpreter.Sexp.Utils
 
Interpreter.Sexp - package Interpreter.Sexp
 
Interpreter.Sexp.Tokens - package Interpreter.Sexp.Tokens
 
Interpreter.Sexp.Utils - package Interpreter.Sexp.Utils
 
Interpreter.Sexp.Utils.Lexer - package Interpreter.Sexp.Utils.Lexer
 
Interpreter.Utils - package Interpreter.Utils
 
InterpreterApplet - class Interpreter.AppletInterpreter.InterpreterApplet.
Applet che implementa l'interfaccia grafica per gli interpreti.
InterpreterApplet() - Constructor for class Interpreter.AppletInterpreter.InterpreterApplet
Costruttore dell'applet.
InterpreterException - exception Interpreter.Sexp.Utils.InterpreterException.
La classe InterpreterException gestisce le eccezioni relative all'interprete.
InterpreterException(Sexp) - Constructor for class Interpreter.Sexp.Utils.InterpreterException
Costruisce una nuova InterpreterException.
InterpreterException(String) - Constructor for class Interpreter.Sexp.Utils.InterpreterException
Costruisce una nuova InterpreterException.
InterpreterException(String, Sexp) - Constructor for class Interpreter.Sexp.Utils.InterpreterException
Costruisce una nuova InterpreterException.
isAList - Variable in class Interpreter.Sexp.Sexp
true se la Sexp è una lista, false altrimenti.
isAList() - Method in class Interpreter.Sexp.Sexp
Specifica se l'oggetto è una lista.
isEq(Sexp) - Method in class Interpreter.PrologInterpreter.Sexp.VarSexp
 
isEq(Sexp) - Method in class Interpreter.Sexp.Sexp
Controlla se due oggetti Sexp sono uguali (identici).
isEq(Sexp) - Method in class Interpreter.Sexp.ConsSexp
Controlla se due ConsSexp sono uguali (identiche).
IsSexp - class Interpreter.PrologInterpreter.Sexp.Infix.IsSexp.
Un oggetto IsSexp è una S-expression con l'operatore "is".
IsSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.IsSexp
Costruisce una nuova IsSexp.

K

kill - Variable in class Interpreter.Lisp
Se true indica all'interprete lisp di interrompere e terminare l'esecuzione.
kill - Variable in class Interpreter.Prolog
Se true indica all'interprete prolog di interrompere e terminare l'esecuzione.

L

leggiBuffer() - Method in class Interpreter.Lisp
Legge da buffer.
leggiFile() - Method in class Interpreter.Lisp
Legge input da file.
leggiFile() - Method in class Interpreter.Prolog
Legge input da file.
leggiNum() - Method in class Interpreter.PrologInterpreter.NewParser
Legge un num e stacca il '.' finale.
leggiStdIn() - Method in class Interpreter.Lisp
Attende input ed avvia la risoluzione.
leggiStdIn() - Method in class Interpreter.Prolog
Attende input ed avvia la risoluzione.
LessSexp - class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.LessSexp.
Un oggetto LessSexp è una S-expression costruita con l'operatore relazionale >.
LessSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.LessSexp
Costruisce una nuova LessSexp.
Lexer - class Interpreter.Sexp.Utils.Lexer.Lexer.
La classe Lexer definisce un lexer generico.
Lexer(Reader) - Constructor for class Interpreter.Sexp.Utils.Lexer.Lexer
Costruisce un Lexer che accetta come parametro un oggetto Reader.
Lexer(String) - Constructor for class Interpreter.Sexp.Utils.Lexer.Lexer
Costruisce un Lexer che accetta come parametro una stringa.
lineno() - Method in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Return the current line number.
Lisp - class Interpreter.Lisp.
Interprete lisp.
Lisp - Static variable in class Interpreter.Sexp.Sexp
Costante che si può utilizzare con as(String[] separators).
Lisp(InputBuffer, OutputBuffer, OutputBuffer) - Constructor for class Interpreter.Lisp
Costruttore utilizzato per creare l'interprete lisp di default.
Lisp(InputBuffer, OutputBuffer, OutputBuffer, Class) - Constructor for class Interpreter.Lisp
Costruttore utilizzato per creare l'interprete lisp esteso.
LispLexer - class Interpreter.LispInterpreter.LispLexer.LispLexer.
Analizzatore lessicale per linguaggio Scheme.
Specifica le proprietà del linguaggio Scheme rispetto a quelle generiche della classe Lexer.
Utilizza gli insiemi di parole chiave definiti nel package Interpreter.LispInterpreter.LispLexer.Sets.
LispLexer(Reader, PrimitiveSet) - Constructor for class Interpreter.LispInterpreter.LispLexer.LispLexer
Costruisce un LispLexer che analizzerà la stringa passata come parametro.
LispLexer(String, PrimitiveSet) - Constructor for class Interpreter.LispInterpreter.LispLexer.LispLexer
Costruisce un LispLexer che analizzerà la stringa passata come parametro.
ListingSexp - class Interpreter.PrologInterpreter.Sexp.ListingSexp.
Un oggetto ListingSexp è il predicato predefinito listing.
ListingSexp() - Constructor for class Interpreter.PrologInterpreter.Sexp.ListingSexp
Costruisce una nuova ListingSexp.
ListingTerm - class Interpreter.PrologInterpreter.Sexp.Terms.ListingTerm.
Un oggetto ListingTerm è il termine asserta, predefinito in prolog.
ListingTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.ListingTerm
Costruisce una nuova ListingTerm.
ListSexp - class Interpreter.PrologInterpreter.Sexp.Terms.ListSexp.
Un oggetto ListSexp è una lista Prolog.
ListSexp(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.ListSexp
Costruisce una nuova ListSexp.
listToCouple(Sexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Trasforma una lista di liste in una lista di coppie, valutando i secondi elementi.
LoadKeys(HashSet, HashSet, HashSet, HashSet) - Method in class Interpreter.Sexp.Utils.Lexer.Lexer
Funzione di inizializzazione dei Set di parole chiave riconosciute e caratteri speciali.
localEnv - Variable in class Interpreter.LispInterpreter.EvalSexpVisitor
SexpHashtable locale usato per la valutazione.
lowerCaseMode(boolean) - Method in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Determines whether or not word token are automatically lowercased.

M

macroExpand(Sexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Esegue il passo di espansione nelle macro.
macroIdent - Variable in class Interpreter.LispInterpreter.EvalSexpVisitor
Identificativo.
Main - class Interpreter.Main.
Questa è il file contenente il main e da cui si avvia l'applicazione.
Main - class Interpreter.Extension.Main.
 
Main() - Constructor for class Interpreter.Main
Costruttore.
Main() - Constructor for class Interpreter.Extension.Main
Costruisce un nuovo oggetto Main.
main(String[]) - Static method in class Interpreter.Main
È il main che semplicemente crea una istanza di questa classe.
main(String[]) - Static method in class Interpreter.Lisp
Questo è il metodo main per eseguire l'interprete lisp da shell DOS.
main(String[]) - Static method in class Interpreter.Prolog
Questo è il metodo main per eseguire l'interprete prolog da shell DOS.
main(String[]) - Static method in class Interpreter.Extension.Main
Crea un nuovo oggetto Main avviando così l'applicazione in modalità stand-alone.
main(String[]) - Static method in class Interpreter.LispInterpreter.Parser
Metodo main utilizzato per il debugging.
main(String[]) - Static method in class Interpreter.LispInterpreter.LispLexer.LispLexer
La classe LispLexer contiene il main per testarla.
main(String[]) - Static method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Metodo mein utilizzato per il debug.
main(String[]) - Static method in class Interpreter.PrologInterpreter.DataBase
Metodo main: per debug.
main(String[]) - Static method in class Interpreter.PrologInterpreter.Unifier
Metodo main per il debug.
main(String[]) - Static method in class Interpreter.PrologInterpreter.NewParser
Metodo main utilizzato per il debugging.
main(String[]) - Static method in class Interpreter.PrologInterpreter.PrologLexer.PrologLexer
La classe PrologLexer contiene il main per testarla.
main(String[]) - Static method in class Interpreter.Sexp.Tokens.NumToken
Prova di utilizzo dei NumToken
MinusSexp - class Interpreter.PrologInterpreter.Sexp.Infix.Expr.MinusSexp.
Un oggetto MinusSexp è una S-expression costruita con l'operatore aritmetico -.
MinusSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.Expr.MinusSexp
Costruisce una nuova MinusSexp.
MulSexp - class Interpreter.PrologInterpreter.Sexp.Infix.Expr.MulSexp.
Un oggetto MulSexp è una S-expression costruita con l'operatore aritmetico *.
MulSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.Expr.MulSexp
Costruisce una nuova MulSexp.
MyDialog - class Interpreter.Utils.MyDialog.
Semplice frame di dialogo per proporre una scelta all'utente.
MyDialog(Frame) - Constructor for class Interpreter.Utils.MyDialog
Costruisce un nuovo MyDialog con messaggio di default "Are you sure ?".
MyDialog(Frame, String, String) - Constructor for class Interpreter.Utils.MyDialog
Costruisce un nuovo MyDialog con s come messaggio e title come titolo della finestra.
MyFrame - class Interpreter.Utils.MyFrame.
Frame principale dell'interprete.
MyFrame(InterpreterApplet) - Constructor for class Interpreter.Utils.MyFrame
Costruisce un nuovo MyFrame

N

name - Variable in class Interpreter.Sexp.AtomSexp
Il nome dell'AtomSexp.
NameTerm - class Interpreter.PrologInterpreter.Sexp.Terms.NameTerm.
Un oggetto NameTerm è il termine name, predefinito in prolog.
NameTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.NameTerm
Costruisce una nuova NameTerm.
NewOutputBuffer - class Interpreter.Utils.NewOutputBuffer.
Buffer di output che estende le funzionalità del BufferedWriter.
NewOutputBuffer(OutputStream) - Constructor for class Interpreter.Utils.NewOutputBuffer
Costruisce un nuovo NewOutputBuffer.
NewOutputBuffer(Writer) - Constructor for class Interpreter.Utils.NewOutputBuffer
Costruisce un nuovo NewOutputBuffer.
NewParser - class Interpreter.PrologInterpreter.NewParser.
Analizzatore sintattico (AS) per linguaggio Prolog.
NewParser(OutputBuffer) - Constructor for class Interpreter.PrologInterpreter.NewParser
Costruisce un nuovo NewParser.
next() - Method in class Interpreter.Sexp.Utils.Lexer.Lexer
Analizza il token corrente della stringa ed avanza il puntatore all'interno della stringa, di modo che la prossima chiamata alla next() analizzi il token successivo.
nextToken() - Method in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Parses the next token from the input stream of this tokenizer.
nil - Variable in class Interpreter.LispInterpreter.EvalSexpVisitor
Identificativo.
nil - Static variable in class Interpreter.Sexp.Sexp
Definisce una costante di uso comune, essenziale nella costruzione di Sexp: è la S-expession nulla.
NIL_S - Static variable in class Interpreter.Sexp.Sexp
Costante che serve per indirizzare la stringa corrispondente al nil all'interno dell'array sep nel metodo toString(String[] sep).
NilListSexp - class Interpreter.PrologInterpreter.Sexp.NilListSexp.
Un oggetto NilListSexp è la lista vuota [].
NilListSexp() - Constructor for class Interpreter.PrologInterpreter.Sexp.NilListSexp
Costruisce una nuova NilListSexp.
NilSexp - class Interpreter.Sexp.NilSexp.
Un oggetto NilSexp è una S-expression atomica e costituisce l'espressione vuota, nulla.
NilSexp() - Constructor for class Interpreter.Sexp.NilSexp
Costruisce una nuova NilSexp.
NlSexp - class Interpreter.PrologInterpreter.Sexp.NlSexp.
Un oggetto NlSexp è una S-expression non atomica rappresentante il predicato prolog nl.
NlSexp() - Constructor for class Interpreter.PrologInterpreter.Sexp.NlSexp
Costruisce una nuova NlSexp.
NoArgsSexp - class Interpreter.PrologInterpreter.Sexp.NoArgsSexp.
Un oggetto NoArgsSexp è un termine prolog con 0 argomenti.
NoArgsSexp(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.NoArgsSexp
Costruisce una nuova NoArgsSexp.
NonVarTerm - class Interpreter.PrologInterpreter.Sexp.Terms.NonVarTerm.
Un oggetto NonVarTerm è il termine nonvar, predefinito in prolog.
NonVarTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.NonVarTerm
Costruisce una nuova NonVarTerm.
normalSpeech - Variable in class Interpreter.PrologInterpreter.NewParser
Per modificare la lettura delle variabili.
nospaces - Variable in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
This field is false if the current token follows a white space, else this field is true.
not - Variable in class Interpreter.Sexp.Utils.SexpInt
Contiene un valore boolean.
È utilizzato nell'interprete Prolog per la gestione del not.
NotAtomicExpr - interface Interpreter.PrologInterpreter.Sexp.Utils.NotAtomicExpr.
Deve essere implementata dalle espressioni aritmetiche non atomiche.
NotCallable - interface Interpreter.PrologInterpreter.Sexp.Utils.NotCallable.
Deve essere implementata dai termini prolog non callable.
NotEqualSexp - class Interpreter.PrologInterpreter.Sexp.Infix.NotEqualSexp.
Un oggetto NotEqualSexp è una S-expression costruita con l'operatore relazionale \==.
NotEqualSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.NotEqualSexp
Costruisce una nuova NotEqualSexp.
notGround(Sexp) - Method in class Interpreter.PrologInterpreter.DerefVisitor
Controlla se term è ground.
NotSexp - class Interpreter.PrologInterpreter.Sexp.Prefix.NotSexp.
Un oggetto NotSexp è una S-expression con l'operatore "not".
NotSexp(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Prefix.NotSexp
Costruisce una nuova NotSexp.
NumberTerm - class Interpreter.PrologInterpreter.Sexp.Terms.NumberTerm.
Un oggetto NumberTerm è il termine number, predefinito in prolog.
NumberTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.NumberTerm
Costruisce una nuova NumberTerm.
NumToken - class Interpreter.Sexp.Tokens.NumToken.
Un NumToken rappresenta un numero reale (double), oppure un numero intero.
NumToken(double) - Constructor for class Interpreter.Sexp.Tokens.NumToken
Costruisce un nuovo NumToken.
nval - Variable in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
If the current token is a number, this field contains the value of that number.

O

OCCUR_CHECK - Variable in class Interpreter.PrologInterpreter.Unifier
Consente di modificare l'opzione di occur check per l'algoritmo di l'unificazione.
OCCURS - Static variable in class Interpreter.PrologInterpreter.Unifier
Identificatore per il fallimento dell'unificazione dovuto all'occur check.
OP_FX - Static variable in class Interpreter.PrologInterpreter.OpSexp
Indicativo per operatore prefisso non associativo.
OP_FY - Static variable in class Interpreter.PrologInterpreter.OpSexp
Indicativo per operatore prefisso associativo.
OP_XF - Static variable in class Interpreter.PrologInterpreter.OpSexp
Indicativo per operatore postfisso non associativo.
OP_XFX - Static variable in class Interpreter.PrologInterpreter.OpSexp
Indicativo per operatore infisso non associativo.
OP_XFY - Static variable in class Interpreter.PrologInterpreter.OpSexp
Indicativo per operatore infisso associativo a destra.
OP_YF - Static variable in class Interpreter.PrologInterpreter.OpSexp
Indicativo per operatore postfisso associativo a sinistra.
OP_YFX - Static variable in class Interpreter.PrologInterpreter.OpSexp
Indicativo per operatore infisso associativo a sinistra.
Operation() - Method in class Interpreter.Sexp.Tokens.OperationToken
Restituisce il nome della primitiva sotto forma di stringa.
OperationalSet - class Interpreter.LispInterpreter.LispLexer.Sets.OperationalSet.
La classe OperationalSet realizza l'elenco di tutti gli operatori aritmetici.
Viene costruita utilizzando un insieme hash (HashSet).
OperationalSet - class Interpreter.PrologInterpreter.PrologLexer.Sets.OperationalSet.
La classe OperationalSet realizza l'elenco di tutti gli operatori aritmetici.
OperationalSet - Variable in class Interpreter.Sexp.Utils.Lexer.Lexer
Set contenente le stringhe corrispondenti ad operatori predefiniti preesistenti.
OperationalSet() - Constructor for class Interpreter.LispInterpreter.LispLexer.Sets.OperationalSet
Costruisce un nuovo OperationalSet.
OperationalSet() - Constructor for class Interpreter.PrologInterpreter.PrologLexer.Sets.OperationalSet
Costruisce un nuovo OperationalSet.
OperationToken - class Interpreter.Sexp.Tokens.OperationToken.
Gli oggetti creati a partire da OperationToken sono gli operatori aritmetici.
OperationToken(String) - Constructor for class Interpreter.Sexp.Tokens.OperationToken
Costruisce un nuovo OperationToken.
Operator() - Method in class Interpreter.Sexp.Tokens.RelationToken
Restituisce l'operatore sotto forma di stringa.
OpSexp - class Interpreter.PrologInterpreter.OpSexp.
Un oggetto OpSexp è un operatore.
OpSexp(String, int, byte, Class) - Constructor for class Interpreter.PrologInterpreter.OpSexp
Costruisce una nuova OpSexp.
ordinaryChar(int) - Method in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Specifies that the character argument is "ordinary" in this tokenizer.
ordinaryChars(int, int) - Method in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Specifies that all characters c in the range low <= c <= high are "ordinary" in this tokenizer.
OrSexp - class Interpreter.PrologInterpreter.Sexp.Infix.OrSexp.
Un oggetto AndSexp è un termine con funtore ";".
OrSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.OrSexp
Costruisce una nuova OrSexp.
OutputBuffer - class Interpreter.Utils.OutputBuffer.
Buffer di output che estende le funzionalità del BufferedWriter.
OutputBuffer(OutputStream) - Constructor for class Interpreter.Utils.OutputBuffer
Costruisce un nuovo OutputBuffer.
OutputBuffer(Writer) - Constructor for class Interpreter.Utils.OutputBuffer
Costruisce un nuovo OutputBuffer.
OutputThread - class Interpreter.Utils.OutputThread.
Thread che legge da uno stream di input per scrivere su una TextArea.
OutputThread(InputBuffer, JTextArea) - Constructor for class Interpreter.Utils.OutputThread
Costruisce un nuovo OutputThread.

P

parseNumbers() - Method in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Specifies that numbers should be parsed by this tokenizer.
Parser - class Interpreter.LispInterpreter.Parser.
Analizzatore sintattico (AS) per linguaggio Lisp (e Scheme).
Parser(OutputBuffer) - Constructor for class Interpreter.LispInterpreter.Parser
Costruisce un nuovo Parser.
PlusSexp - class Interpreter.PrologInterpreter.Sexp.Infix.Expr.PlusSexp.
Un oggetto PlusSexp è una S-expression costruita con l'operatore aritmetico +.
PlusSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.Expr.PlusSexp
Costruisce una nuova PlusSexp.
popNum() - Method in class Interpreter.Sexp.Utils.SexpStack
Fa una pop dallo stack controllando che sia un NumToken e lo restituisce.
popSexp() - Method in class Interpreter.Sexp.Utils.SexpStack
Toglie la Sexp che si trova in cima allo stack e la restituisce.
PostfixExprSexp - class Interpreter.PrologInterpreter.Sexp.Postfix.Expr.PostfixExprSexp.
Un oggetto PostfixExprSexp è una S-expression costruita con operatori aritmetici.
PostfixExprSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Postfix.Expr.PostfixExprSexp
Costruisce una nuova PostfixExprSexp.
postfixOpSet - Variable in class Interpreter.PrologInterpreter.NewParser
Tabella degli operatori postfissi.
PostfixSexp - class Interpreter.PrologInterpreter.Sexp.Postfix.PostfixSexp.
Un oggetto PostfixSexp è un termine costituito da un operatore infisso a due argomenti e dai suoi due argomenti.
PostfixSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Postfix.PostfixSexp
Costruisce una nuova PostfixSexp.
PrefixExprSexp - class Interpreter.PrologInterpreter.Sexp.Prefix.Expr.PrefixExprSexp.
Un oggetto PrefixExprSexp è una S-expression costruita con operatori aritmetici.
PrefixExprSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Prefix.Expr.PrefixExprSexp
Costruisce una nuova PrefixExprSexp.
prefixOpSet - Variable in class Interpreter.PrologInterpreter.NewParser
Tabella degli operatori prefissi.
PrefixSexp - class Interpreter.PrologInterpreter.Sexp.Prefix.PrefixSexp.
Un oggetto PrefixSexp è un termine costituito da un operatore infisso a due argomenti e dai suoi due argomenti.
PrefixSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Prefix.PrefixSexp
Costruisce una nuova PrefixSexp.
Primitive() - Method in class Interpreter.Sexp.Tokens.PrimitiveToken
Restituisce il nome della primitiva sotto forma di stringa.
PrimitiveSet - class Interpreter.LispInterpreter.LispLexer.Sets.PrimitiveSet.
La classe PrimitiveSet realizza l'elenco di tutte le primitive.
Viene costruita utilizzando un insieme hash (HashSet).
PrimitiveSet - class Interpreter.PrologInterpreter.PrologLexer.Sets.PrimitiveSet.
La classe PrimitiveSet realizza l'elenco di tutte le primitive.
PrimitiveSet - Variable in class Interpreter.Sexp.Utils.Lexer.Lexer
Set contenente le stringhe corrispondenti ad operatori predefiniti preesistenti.
PrimitiveSet() - Constructor for class Interpreter.LispInterpreter.LispLexer.Sets.PrimitiveSet
Costruisce un nuovo PrimitiveSet.
PrimitiveSet() - Constructor for class Interpreter.PrologInterpreter.PrologLexer.Sets.PrimitiveSet
Costruisce un nuovo PrimitiveSet.
PrimitiveToken - class Interpreter.Sexp.Tokens.PrimitiveToken.
Gli oggetti creati a partire da PrimitiveToken sono tutte le primitive.
PrimitiveToken(String) - Constructor for class Interpreter.Sexp.Tokens.PrimitiveToken
Costruisce un nuovo PrimitiveToken.
print(String) - Method in class Interpreter.Utils.OutputBuffer
Scrive la stringa s sull'output buffer.
print(String) - Method in class Interpreter.Utils.NewOutputBuffer
Scrive la stringa s sull'output buffer ed aggiunge un new line.
println(String) - Method in class Interpreter.Utils.OutputBuffer
Scrive la stringa s sull'output buffer ed aggiunge un new line.
println(String) - Method in class Interpreter.Utils.NewOutputBuffer
Scrive la stringa s sull'output buffer ed aggiunge due new line.
priority - Variable in class Interpreter.PrologInterpreter.OpSexp
Priorità dell'operatore.
priority - Variable in class Interpreter.PrologInterpreter.Sexp.TermSexp
Priorità dell'operatore.
priority() - Method in class Interpreter.PrologInterpreter.OpSexp
Restituisce il valore della priorità dell'OpSexp.
processWindowEvent(WindowEvent) - Method in class Interpreter.Utils.MyFrame
Overriden so we can exit on System Close.
Prolog - class Interpreter.Prolog.
Interprete prolog.
Prolog - Static variable in class Interpreter.PrologInterpreter.Sexp.TermSexp
Costante che si può utilizzare con Sexp.as(String[] separators).
Prolog(InputBuffer, OutputBuffer, OutputBuffer) - Constructor for class Interpreter.Prolog
Costruttore utilizzato per creare l'interprete prolog di default.
Prolog(InputBuffer, OutputBuffer, OutputBuffer, Class, Class) - Constructor for class Interpreter.Prolog
Costruttore utilizzato per creare l'interprete prolog esteso.
PrologArgs - Static variable in class Interpreter.PrologInterpreter.Sexp.ArgsSexp
Costante che si può utilizzare con Sexp.as(String[] separators).
PrologLexer - class Interpreter.PrologInterpreter.PrologLexer.PrologLexer.
Analizzatore lessicale per linguaggio Prolog.
PrologLexer(Reader, PrimitiveSet) - Constructor for class Interpreter.PrologInterpreter.PrologLexer.PrologLexer
Costruisce un PrologLexer che analizzerà l'input preso da I.
PrologLexer(String, PrimitiveSet) - Constructor for class Interpreter.PrologInterpreter.PrologLexer.PrologLexer
Costruisce un PrologLexer che analizzerà la stringa passata come parametro.
PrologSexpVisitor - class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor.
Un oggetto SexpVisitor realizza un Pattern Visitor per una s-expression.
PrologSexpVisitor() - Constructor for class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
 
PrologTerm - Static variable in class Interpreter.PrologInterpreter.Sexp.TermSexp
Costante che si può utilizzare con Sexp.as(String[] separators).
pushBack() - Method in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Causes the next call to the nextToken method of this tokenizer to return the current value in the ttype field, and not to modify the value in the nval or sval field.
pushSexp(Sexp) - Method in class Interpreter.Sexp.Utils.SexpStack
Aggiunge la Sexp specificata in cima allo stack.
put(Sexp, Sexp) - Method in class Interpreter.PrologInterpreter.DataBase
Aggiunge una nuova clausola al database.
put(String, Sexp) - Method in class Interpreter.Sexp.Utils.SexpHashtable
Puts the specified element into the hashtable, using the specified key.
putA(Sexp, Sexp) - Method in class Interpreter.PrologInterpreter.DataBase
Aggiunge una nuova clausola al database.

Q

QuerySexp - class Interpreter.PrologInterpreter.Sexp.Prefix.QuerySexp.
Un oggetto QuerySexp è una S-expression non atomica rappresentante una query Prolog.
QuerySexp(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Prefix.QuerySexp
Costruisce una nuova QuerySexp.
quoteChar(int) - Method in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Specifies that matching pairs of this character delimit string constants in this tokenizer.
QuotedToken - class Interpreter.Sexp.Tokens.QuotedToken.
Gli oggetti creati a partire da QuotedToken corrispondono ai quote del linguaggio.
QuotedToken(String) - Constructor for class Interpreter.Sexp.Tokens.QuotedToken
Costruisce un nuovo QuotedToken.

R

RandomTerm - class Interpreter.PrologInterpreter.Sexp.Terms.RandomTerm.
Un oggetto RandomTerm è il termine random, predefinito in prolog.
RandomTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.RandomTerm
Costruisce una nuova RandomTerm.
read() - Method in class Interpreter.LispInterpreter.Parser
Consuma un'istruzione del Programma Lisp.
read() - Method in class Interpreter.PrologInterpreter.NewParser
Restituisce la forma interna della successiva frase da analizzare.
ReadLine() - Method in class Interpreter.Utils.InputBuffer
Read a line of text.
ReadTerm - class Interpreter.PrologInterpreter.Sexp.Terms.ReadTerm.
Un oggetto ReadTerm è il termine read, predefinito in prolog.
ReadTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.ReadTerm
Costruisce una nuova ReadTerm.
RelationalSet - class Interpreter.LispInterpreter.LispLexer.Sets.RelationalSet.
La classe RelationalSet realizza l'elenco di tutti gli operatori relazionali.
RelationalSet - class Interpreter.PrologInterpreter.PrologLexer.Sets.RelationalSet.
La classe RelationalSet realizza l'elenco di tutti gli operatori relazionali.
RelationalSet - Variable in class Interpreter.Sexp.Utils.Lexer.Lexer
Set contenente le stringhe corrispondenti ad operatori predefiniti preesistenti.
RelationalSet() - Constructor for class Interpreter.LispInterpreter.LispLexer.Sets.RelationalSet
Costruisce un nuovo RelationalSet.
RelationalSet() - Constructor for class Interpreter.PrologInterpreter.PrologLexer.Sets.RelationalSet
Costruisce un nuovo RelationalSet.
RelationToken - class Interpreter.Sexp.Tokens.RelationToken.
Gli oggetti creati a partire da RealationToken sono gli operatori relazionali.
RelationToken(String) - Constructor for class Interpreter.Sexp.Tokens.RelationToken
Costruisce un nuovo RelationToken.
RelExprSexp - class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.RelExprSexp.
Un oggetto RelExprSexp è una S-expression costruita con operatori relazionali.
RelExprSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.RelExpr.RelExprSexp
Costruisce una nuova RelExprSexp.
reload(LispLexer) - Method in class Interpreter.LispInterpreter.Parser
Il lexer passato come parametro diventa il lexer corrente.
reload(PrologLexer) - Method in class Interpreter.PrologInterpreter.NewParser
Permette di ripristinare un analizzatore lessicale.
remove(String) - Method in class Interpreter.Sexp.Utils.SexpHashtable
Removes the element corresponding to the key.
RenameVisitor - class Interpreter.PrologInterpreter.RenameVisitor.
Visitor che ricrea un termine prolog rinominandone le variabili.
RenameVisitor(SexpHashtable) - Constructor for class Interpreter.PrologInterpreter.RenameVisitor
Costruisce un nuovo RenameVisitor.
reset() - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Riporta il visitor allo stato di partenza.
reset() - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Per cancellare tutto il database.
reset() - Method in class Interpreter.PrologInterpreter.NewParser
Riporta il parser alla situazione iniziale svuotando il buffer del lexer.
resetDatabase() - Method in class Interpreter.Prolog
Riporta il database allo stato iniziale, cioè contenente zero clausole.
resetGlobalEnv() - Method in class Interpreter.Lisp
Riporta il glogal environment allo stato di partenza.
resetSyntax() - Method in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Resets this tokenizer's syntax table so that all characters are "ordinary."
RestOperation(OperationToken, Sexp, boolean) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Costruisce il secondo operando di una operazione trattando tutti gli operandi dal secondo in poi.
RetractAllTerm - class Interpreter.PrologInterpreter.Sexp.Terms.RetractAllTerm.
Un oggetto RetractAllTerm è il termine retractall, predefinito in prolog.
RetractAllTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.RetractAllTerm
Costruisce una nuova RetractAllTerm.
RetractTerm - class Interpreter.PrologInterpreter.Sexp.Terms.RetractTerm.
Un oggetto RetractTerm è il termine retract, predefinito in prolog.
RetractTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.RetractTerm
Costruisce una nuova RetractTerm.
reverse() - Method in class Interpreter.Sexp.Sexp
Costruisce una lista invertita.
reverse(Sexp) - Method in class Interpreter.Sexp.Sexp
Costruisce una lista invertita.
reverse(Sexp) - Method in class Interpreter.Sexp.ConsSexp
Costruisce una lista invertita.
reverse(Sexp) - Method in class Interpreter.Sexp.AtomSexp
Costruisce una lista invertita.
reverse(Sexp) - Method in class Interpreter.Sexp.NilSexp
Costruisce una lista invertita.
risolvi() - Method in class Interpreter.Prolog
Avvia la risoluzione.
risolvi(String) - Method in class Interpreter.Lisp
Avvia la risoluzione.
run() - Method in class Interpreter.Lisp
Questo è il metodo che pone in esecuzione il corrente thread.
run() - Method in class Interpreter.Prolog
Questo è il metodo che pone in esecuzione il corrente thread.
run() - Method in class Interpreter.Utils.OutputThread
Ciclo di esecuzione.

S

safeness - Variable in class Interpreter.PrologInterpreter.EngineSexpVisitor
Se è true, la valutazione di un not seguito da una clausola non ground viene posticipata il più possibile.
second() - Method in class Interpreter.PrologInterpreter.Sexp.TermSexp
Restituisce il secondo termine nella lista degli argomenti.
SEP_S - Static variable in class Interpreter.Sexp.Sexp
Costante che serve per indirizzare la stringa corrispondente al separatore tra gli elementi all'interno dell'array sep nel metodo toString(String[] sep).
Separators - Variable in class Interpreter.Sexp.Sexp
Contiene 5 separatori per la stampa della lista.
Set - Variable in class Interpreter.LispInterpreter.EvalSexpVisitor
Identificativo.
set_OCCUR_CHECK(boolean) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Consente di modificare l'opzione di occur check per l'algoritmo di l'unificazione.
setBuffer(InputBuffer) - Method in class Interpreter.Lisp
Utilizzato da InterpreterApplet per compilare il codice presente nella Code Area.
setExtendedLisp(Class) - Method in class Interpreter.AppletInterpreter.InterpreterApplet
Per settare un interprete lisp diverso da quello di default.
setExtendedProlog(Class, Class) - Method in class Interpreter.AppletInterpreter.InterpreterApplet
Per settare un interprete prolog diverso da quello di default.
setFrame(Frame) - Method in class Interpreter.AppletInterpreter.InterpreterApplet
Deve essere invocato dal main: serve per i dialoghi.
setIsAList(boolean) - Method in class Interpreter.Sexp.ConsSexp
Consente di modificare il valore della variabile isAList.
setNormalSpeech(boolean) - Method in class Interpreter.Prolog
Per modificare la lettura delle variabili.
setOccurCheck(boolean) - Method in class Interpreter.Prolog
Consente di modificare l'opzione di occur check per l'algoritmo di l'unificazione.
SetOfTerm - class Interpreter.PrologInterpreter.Sexp.Terms.SetOfTerm.
Un oggetto SetOfTerm è il termine setof, predefinito in prolog.
SetOfTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.SetOfTerm
Costruisce una nuova SetOfTerm.
SetOps - class Interpreter.PrologInterpreter.SetOps.
Un oggetto SetOps serve ad inizializzare le tabelle degli operatori e dei termini predefiniti.
SetOps(NewParser) - Constructor for class Interpreter.PrologInterpreter.SetOps
Costruisce una nuova SetOps.
setPrimitive(OpSexp) - Method in class Interpreter.PrologInterpreter.NewParser
Permette di aggiungere un nuovo comando od un nuovo termine predefinito.
setPrimitive(String) - Method in class Interpreter.LispInterpreter.Parser
Aggiunge una primitiva al set di primitive predefinite.
setSafeness(boolean) - Method in class Interpreter.Prolog
Consente di modificare l'opzione per il controllo sulla safeness.
setStop() - Method in class Interpreter.Lisp
Indica all'interprete di sospendere la risoluzione in corso.
setStop() - Method in class Interpreter.Prolog
Indica all'interprete di sospendere la risoluzione in corso.
Sexp - class Interpreter.Sexp.Sexp.
Un oggetto Sexp è una S-expression.
Sexp() - Constructor for class Interpreter.Sexp.Sexp
 
SexpHashtable - class Interpreter.Sexp.Utils.SexpHashtable.
La classe SexpHashtable realizza un Environment per S-expressions.
SexpHashtable() - Constructor for class Interpreter.Sexp.Utils.SexpHashtable
Costruisce un nuovo SexpHashtable vuoto.
SexpHashtable(int) - Constructor for class Interpreter.Sexp.Utils.SexpHashtable
Costruisce un nuovo SexpHashtable vuoto.
SexpHashtable(int, float) - Constructor for class Interpreter.Sexp.Utils.SexpHashtable
Costruisce un nuovo SexpHashtable vuoto.
SexpInt - class Interpreter.Sexp.Utils.SexpInt.
Un oggetto SexpIntSexp è un contenitore che include una Sexp ed un valore intero.
SexpInt(Sexp, int) - Constructor for class Interpreter.Sexp.Utils.SexpInt
Costruisce una nuova TermSexp.
SexpStack - class Interpreter.Sexp.Utils.SexpStack.
Un oggetto SexpStack realizza uno stack per le s-expressions.
SexpStack() - Constructor for class Interpreter.Sexp.Utils.SexpStack
 
SexpUnifier - class Interpreter.PrologInterpreter.Sexp.Utils.SexpUnifier.
La classe Unifier realizza un algoritmo per l'unificazione.
SexpUnifier() - Constructor for class Interpreter.PrologInterpreter.Sexp.Utils.SexpUnifier
 
SexpVisitor - class Interpreter.Sexp.Utils.SexpVisitor.
Un oggetto SexpVisitor realizza un Pattern Visitor per una s-expression.
SexpVisitor() - Constructor for class Interpreter.Sexp.Utils.SexpVisitor
 
skip(int) - Method in class Interpreter.Utils.InputBuffer
Skips over and discards n bytes of data from this input stream.
slashSlashComments(boolean) - Method in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Determines whether or not the tokenizer recognizes C++-style comments.
slashStarComments(boolean) - Method in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Determines whether or not the tokenizer recognizes C-style comments.
SLD - Variable in class Interpreter.PrologInterpreter.EngineSexpVisitor
Se true indica che ragioniamo in logica positiva, altrimenti in logica negata (SLDNF) poiché abbiamo incontrato un not.
source - Variable in class Interpreter.Sexp.Utils.InterpreterException
 
Spaces - Static variable in class Interpreter.PrologInterpreter.Sexp.TermSexp
Costante che si può utilizzare con Sexp.as(String[] separators).
Special() - Method in class Interpreter.Sexp.Tokens.SpecialToken
Restituisce il nome della primitiva sotto forma di stringa.
SpecialSet - class Interpreter.LispInterpreter.LispLexer.Sets.SpecialSet.
La classe SpecialSet realizza l'elenco di tutti i caratteri speciali e le parole chiave speciali.
Viene costruita utilizzando un insieme hash (HashSet).
SpecialSet - class Interpreter.PrologInterpreter.PrologLexer.Sets.SpecialSet.
La classe SpecialSet realizza l'elenco di tutti i caratteri speciali e le parole chiave speciali.
SpecialSet - Variable in class Interpreter.Sexp.Utils.Lexer.Lexer
Set contenente le stringhe corrispondenti ad operatori predefiniti preesistenti.
SpecialSet() - Constructor for class Interpreter.LispInterpreter.LispLexer.Sets.SpecialSet
Costruisce un nuovo SpecialSet.
SpecialSet() - Constructor for class Interpreter.PrologInterpreter.PrologLexer.Sets.SpecialSet
Costruisce un nuovo SpecialSet.
SpecialToken - class Interpreter.Sexp.Tokens.SpecialToken.
Gli oggetti creati a partire da SpecialToken sono tutti i simboli non compresi negli altri tokens.
SpecialToken(String) - Constructor for class Interpreter.Sexp.Tokens.SpecialToken
Costruisce un nuovo SpecialToken.
SqrSexp - class Interpreter.Extension.SqrSexp.
Un oggetto SqrSexp è una S-expression costruita con l'operatore aritmetico unario postfisso sqr (elevamento al quadrato).
SqrSexp(Sexp) - Constructor for class Interpreter.Extension.SqrSexp
Costruisce una nuova SqrSexp.
stack - Variable in class Interpreter.Sexp.Utils.SexpVisitor
SexpStack usato nel ritorno dei parametri.
Stampa(boolean) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Fa continuare la risoluzione se necessario, oppure stampa il risultato.
start() - Method in class Interpreter.AppletInterpreter.InterpreterApplet
Deve essere invocata dal browser o dal main per far partire l'applet.
stop - Variable in class Interpreter.Lisp
Se true indica all'interprete lisp di sospendere la valutazione in corso.
stop - Variable in class Interpreter.Prolog
Se true indica all'interprete prolog di sospendere la risoluzione in corso.
stop - Variable in class Interpreter.LispInterpreter.EvalSexpVisitor
Utilizzato per la sospensione della valutazione in corso.
stop - Variable in class Interpreter.PrologInterpreter.EngineSexpVisitor
Se impostato a true viene fermata la risoluzione.
stop - Variable in class Interpreter.Utils.OutputThread
Se si setta questa variabile a true si indica al thread di fermarsi.
StreamTokenizerWithAtom - class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom.
The StreamTokenizerWithAtom class takes an input stream and parses it into "tokens", allowing the tokens to be read one at a time.
StreamTokenizerWithAtom(InputStream) - Constructor for class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Deprecated. As of JDK version 1.1, the preferred way to tokenize an input stream is to convert it into a character stream, for example: 
	Reader r = new BufferedReader(new InputStreamReader(is));
	StreamTokenizerWithAtom st = new StreamTokenizerWithAtom(r);
StreamTokenizerWithAtom(Reader) - Constructor for class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Create a tokenizer that parses the given character stream.
StructureSexpVisitor - class Interpreter.PrologInterpreter.Sexp.Utils.StructureSexpVisitor.
Un oggetto SexpVisitor realizza un Pattern Visitor per una s-expression.
StructureSexpVisitor() - Constructor for class Interpreter.PrologInterpreter.Sexp.Utils.StructureSexpVisitor
 
success - Variable in class Interpreter.PrologInterpreter.EngineSexpVisitor
Se true indica successo della risoluzione.
sval - Variable in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
If the current token is a word token or an atom token, this field contains a string giving the characters of the word token or the atom token.
sx - Variable in class Interpreter.PrologInterpreter.Sexp.Infix.InfixSexp
Associatività a sinistra dell'operatore.
sx - Variable in class Interpreter.PrologInterpreter.Sexp.Postfix.PostfixSexp
Associatività a sinistra dell'operatore.
Symbols(PrimitiveSet) - Method in class Interpreter.LispInterpreter.LispLexer.LispLexer
Introduce il carattere di commento ';' e definisce i set di parole e simboli chiave.
Symbols(PrimitiveSet) - Method in class Interpreter.PrologInterpreter.PrologLexer.PrologLexer
Introduce il carattere di commento '%' e definisce i set di parole e simboli chiave.

T

tail - Variable in class Interpreter.Sexp.ConsSexp
La seconda Sexp della coppia di Sexp costituente la ConsSexp
TERM - Static variable in class Interpreter.PrologInterpreter.OpSexp
Indicativo per termine predefinito.
TermSet - Variable in class Interpreter.PrologInterpreter.NewParser
Tabella dei termini.
TermSexp - class Interpreter.PrologInterpreter.Sexp.TermSexp.
Un oggetto TermSexp è un termine prolog, dove termine è utilizzato nella sua accezione più generale.
TermSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.TermSexp
Costruisce una nuova TermSexp.
TermToListSexp - class Interpreter.PrologInterpreter.Sexp.Infix.TermToListSexp.
Un oggetto TermToListSexp è una S-expression costruita con l'operatore "=..".
TermToListSexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.TermToListSexp
Costruisce una nuova TermToListSexp.
toArgsSexp() - Method in class Interpreter.PrologInterpreter.Sexp.Terms.ListSexp
Restituisce gli elemnti della lista Prolog sottoforma di oggetto ArgsSexp.
toListSexp(Sexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Restituisce la lista che ha come testa il funtore del termine e come coda la lista degli argomenti del termine
toString() - Method in class Interpreter.PrologInterpreter.DataBase
Stampa il database.
toString() - Method in class Interpreter.PrologInterpreter.ClauseVector
Stampa gli elementi del vettore ognuno su una linea distinta.
toString() - Method in class Interpreter.PrologInterpreter.Sexp.TermSexp
Restituisce la rappresentazione in forma di stringa.
toString() - Method in class Interpreter.PrologInterpreter.Sexp.NilListSexp
Restituisce la rappresentazione in forma di stringa.
toString() - Method in class Interpreter.PrologInterpreter.Sexp.DottedTermSexp
Restituisce la rappresentazione in forma di stringa.
toString() - Method in class Interpreter.PrologInterpreter.Sexp.ArgsSexp
Restituisce la rappresentazione in forma di stringa.
toString() - Method in class Interpreter.PrologInterpreter.Sexp.Infix.InfixSexp
Restituisce la rappresentazione in forma di stringa dell'InfixSexp.
toString() - Method in class Interpreter.PrologInterpreter.Sexp.Postfix.PostfixSexp
Restituisce la rappresentazione in forma di stringa dell'PostfixSexp.
toString() - Method in class Interpreter.PrologInterpreter.Sexp.Prefix.PrefixSexp
Restituisce la rappresentazione in forma di stringa dell'PrefixSexp.
toString() - Method in class Interpreter.PrologInterpreter.Sexp.Terms.ListSexp
Restituisce la rappresentazione in forma di stringa.
toString() - Method in class Interpreter.Sexp.Sexp
Restituisce la rappresentazione in forma di stringa in formato lisp.
toString() - Method in class Interpreter.Sexp.ConsSexp
Restituisce la rappresentazione in forma di stringa.
toString() - Method in class Interpreter.Sexp.AtomSexp
Restituisce la rappresentazione in forma di stringa.
toString() - Method in class Interpreter.Sexp.Tokens.NumToken
Restituisce la rappresentazione esterna in formato stringa.
toString() - Method in class Interpreter.Sexp.Utils.InterpreterException
Restituisce la stringa rappresentativa dell'InterpreterException.
toString() - Method in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Returns the string representation of the current stream token.
toString(String[], boolean) - Method in class Interpreter.PrologInterpreter.Sexp.TermSexp
Restituisce la rappresentazione in forma di stringa.
toString(String[], boolean) - Method in class Interpreter.PrologInterpreter.Sexp.NilListSexp
Restituisce la rappresentazione in forma di stringa.
toString(String[], boolean) - Method in class Interpreter.PrologInterpreter.Sexp.DottedTermSexp
Restituisce la rappresentazione in forma di stringa.
toString(String[], boolean) - Method in class Interpreter.PrologInterpreter.Sexp.ArgsSexp
Restituisce la rappresentazione in forma di stringa.
toString(String[], boolean) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.InfixSexp
Restituisce la rappresentazione in forma di stringa.
toString(String[], boolean) - Method in class Interpreter.PrologInterpreter.Sexp.Postfix.PostfixSexp
Restituisce la rappresentazione in forma di stringa.
toString(String[], boolean) - Method in class Interpreter.PrologInterpreter.Sexp.Prefix.PrefixSexp
Restituisce la rappresentazione in forma di stringa.
toString(String[], boolean) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.ListSexp
Restituisce la rappresentazione in forma di stringa.
toString(String[], boolean) - Method in class Interpreter.Sexp.Sexp
Restituisce la rappresentazione in forma di stringa utilizzando i separatori presi da Separators.
toString(String[], boolean) - Method in class Interpreter.Sexp.ConsSexp
Restituisce la rappresentazione in forma di stringa.
toString(String[], boolean) - Method in class Interpreter.Sexp.AtomSexp
Restituisce la rappresentazione in forma di stringa.
toString(String[], boolean) - Method in class Interpreter.Sexp.NilSexp
Restituisce la rappresentazione in forma di stringa.
toStringInList(String[], boolean) - Method in class Interpreter.PrologInterpreter.Sexp.TermSexp
Restituisce la rappresentazione in forma di stringa.
toStringInList(String[], boolean) - Method in class Interpreter.PrologInterpreter.Sexp.NilListSexp
Restituisce la rappresentazione in forma di stringa.
toStringInList(String[], boolean) - Method in class Interpreter.PrologInterpreter.Sexp.DottedTermSexp
Restituisce la rappresentazione in forma di stringa.
toStringInList(String[], boolean) - Method in class Interpreter.PrologInterpreter.Sexp.ArgsSexp
Restituisce la rappresentazione in forma di stringa.
toStringInList(String[], boolean) - Method in class Interpreter.PrologInterpreter.Sexp.Terms.ListSexp
Restituisce la rappresentazione in forma di stringa.
toStringInList(String[], boolean) - Method in class Interpreter.Sexp.Sexp
Restituisce la rappresentazione in forma di stringa.
toStringInList(String[], boolean) - Method in class Interpreter.Sexp.ConsSexp
Restituisce la rappresentazione in forma di stringa.
toStringInList(String[], boolean) - Method in class Interpreter.Sexp.AtomSexp
Restituisce la rappresentazione in forma di stringa.
toStringInList(String[], boolean) - Method in class Interpreter.Sexp.NilSexp
Restituisce la rappresentazione in forma di stringa.
True - Variable in class Interpreter.LispInterpreter.EvalSexpVisitor
Identificativo.
TrueTerm - class Interpreter.PrologInterpreter.Sexp.Terms.TrueTerm.
Un oggetto TrueTerm è il termine true, predefinito in prolog.
TrueTerm() - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.TrueTerm
Costruisce una nuova TrueTerm.
TT_ATOM - Static variable in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
A constant indicating that an atom token has been read.
TT_EOF - Static variable in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
A constant indicating that the end of the stream has been read.
TT_EOL - Static variable in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
A constant indicating that the end of the line has been read.
TT_NUMBER - Static variable in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
A constant indicating that a number token has been read.
TT_WORD - Static variable in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
A constant indicating that a word token has been read.
ttype - Variable in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
After a call to the nextToken method, this field contains the type of the token just read.
type - Variable in class Interpreter.PrologInterpreter.OpSexp
Tipo dell'operatore o del termine.
type() - Method in class Interpreter.PrologInterpreter.OpSexp
Restituisce il tipo dell'OpSexp.

U

UnaryClauseSexp - class Interpreter.PrologInterpreter.Sexp.Prefix.UnaryClauseSexp.
Un oggetto UnaryClauseSexp è una S-expression non atomica rappresentante una query Prolog.
UnaryClauseSexp(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Prefix.UnaryClauseSexp
Costruisce una nuova UnaryClauseSexp.
UnaryMinusSexp - class Interpreter.PrologInterpreter.Sexp.Prefix.Expr.UnaryMinusSexp.
Un oggetto UnaryMinusSexp è una S-expression costruita con l'operatore unario aritmetico - .
UnaryMinusSexp(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Prefix.Expr.UnaryMinusSexp
Costruisce una nuova UnaryMinusSexp.
UnaryPlusSexp - class Interpreter.PrologInterpreter.Sexp.Prefix.Expr.UnaryPlusSexp.
Un oggetto UnaryPlusSexp è una S-expression costruita con l'operatore unario aritmetico + .
UnaryPlusSexp(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Prefix.Expr.UnaryPlusSexp
Costruisce una nuova UnaryPlusSexp.
unification(Sexp, Sexp) - Method in class Interpreter.PrologInterpreter.Unifier
Realizza un algoritmo per l'unificazione.
Unifier - class Interpreter.PrologInterpreter.Unifier.
La classe Unifier realizza un algoritmo per l'unificazione.
Unifier(SexpHashtable) - Constructor for class Interpreter.PrologInterpreter.Unifier
Costruisce un nuovo Unifier.
UNIFY - Static variable in class Interpreter.PrologInterpreter.Unifier
Identificatore per il successo dell'unificazione.
unify(Sexp, Sexp) - Method in class Interpreter.PrologInterpreter.Unifier
Prova ad unificare i due termini a e b.
unify(Sexp, Sexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.SexpUnifier
Prova ad unificare i due termini a e b.
unify(Sexp, SexpUnifier) - Method in class Interpreter.PrologInterpreter.Sexp.TermSexp
Unifica questo termine con term tramite l'unificatore unifier.
unify(Sexp, SexpUnifier) - Method in class Interpreter.PrologInterpreter.Sexp.Infix.ClauseSexp
Unifica questa clausola con term tramite l'unificatore unifier.
UnifySexp - class Interpreter.PrologInterpreter.Sexp.Infix.UnifySexp.
Un oggetto UnifySexp è una S-expression con l'operatore "=" (unificazione).
UnifySexp(Sexp, Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Infix.UnifySexp
Costruisce una nuova UnifySexp.

V

varList - Variable in class Interpreter.PrologInterpreter.Sexp.DottedTermSexp
Lista delle variabili della clausola.
VarSexp - class Interpreter.PrologInterpreter.Sexp.VarSexp.
Un VarSexp è una variabile.
VarSexp(String) - Constructor for class Interpreter.PrologInterpreter.Sexp.VarSexp
Costruisce un nuovo VarSexp.
VarTerm - class Interpreter.PrologInterpreter.Sexp.Terms.VarTerm.
Un oggetto VarTerm è il termine var, predefinito in prolog.
VarTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.VarTerm
Costruisce una nuova VarTerm.
visit(AndSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un AndSexp, cioè risolve un and tra due termini (operatore ,).
visit(AndSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un AndSexp.
visit(ArEqualSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un ArEqualSexp, cioè risolve l'operatore di uguaglianza =:=.
visit(ArEqualSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un ArEqualSexp.
visit(ArgTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un ArgTerm, cioè risolve il predicato predefinito arg.
visit(ArgTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un ArgTerm.
visit(ArNotEqualSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un ArNotEqualSexp, cioè risolve un operatore aritmetico =/=.
visit(ArNotEqualSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un ArNotEqualSexp.
visit(AssertaTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un AssertaTerm, cioè risolve il predicato predefinito asserta.
visit(AssertaTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un AssertaTerm.
visit(AssertTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un AssertTerm, cioè risolve il predicato predefinito assert.
visit(AssertTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un AssertTerm.
visit(AtomicTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un AtomicTerm, cioè risolve il predicato predefinito atomic.
visit(AtomicTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un AtomicTerm.
visit(AtomTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un AtomTerm, cioè risolve il predicato predefinito atom.
visit(AtomTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un AtomTerm.
visit(BagOfTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un BagOfTerm, cioè risolve il predicato predefinito bagof.
visit(BagOfTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un BagOfTerm.
visit(CallTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un CallTerm, cioè risolve il predicato predefinito call.
visit(CallTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un CallTerm.
visit(ClauseSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di una ClauseSexp.
visit(ClauseSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un ClauseSexp.
visit(ClauseTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un ClauseTerm, cioè risolve il predicato predefinito clause.
visit(ClauseTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un ClauseTerm.
visit(CompoundTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un CompoundTerm, cioè risolve il predicato predefinito compound.
visit(CompoundTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un CompoundTerm.
visit(ConsSexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Effettua la visita di un ConsSexp, cioè valuta un ConsSexp.
visit(ConsSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.StructureSexpVisitor
Effettua la visita di un ConsSexp, cioè valuta un ConsSexp.
visit(ConsSexp) - Method in class Interpreter.Sexp.Utils.SexpVisitor
Effettua la visita di un ConsSexp, cioè valuta un ConsSexp.
visit(CutSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un CutSexp, cioè risolve il predicato cut (!).
visit(CutSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un CutSexp.
visit(DivSexp) - Method in class Interpreter.PrologInterpreter.EvalVisitor
Effettua la visita di un DivSexp, cioè valuta una divisione (operatore /).
visit(DivSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.EvalSexpVisitor
Effettua la visita di un DivSexp.
visit(DottedClauseSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un DottedClauseSexp, cioè la mette nel database.
visit(DottedClauseSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un ClauseSexp.
visit(DottedQuerySexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un DottedQuerySexp, cioè inizia la ricerca di una soluzione.
visit(DottedQuerySexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un QuerySexp.
visit(DottedTermSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un DottedTermSexp, cioè lo mette nel database.
visit(DottedTermSexp) - Method in class Interpreter.PrologInterpreter.RenameVisitor
Effettua la visita di un DottedTermSexp, cioè rinomina le variabili in d.
visit(DottedTermSexp) - Method in class Interpreter.PrologInterpreter.DerefVisitor
Non dovrebbe mai essere utilizzata: lancia una eccezione.
visit(DottedTermSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.StructureSexpVisitor
Effettua la visita di un TermSexp.
visit(EqualLessSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un EqualLessSexp, cioè risolve un operatore =<.
visit(EqualLessSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un EqualLessSexp.
visit(EqualSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un EqualSexp, cioè risolve un operatore ==.
visit(EqualSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un ArEqualSexp.
visit(ExpOnSexp) - Method in class Interpreter.PrologInterpreter.EvalVisitor
Effettua la visita di un ExpOnSexp, cioè valuta un esponente (operatore ^).
visit(ExpOnSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.EvalSexpVisitor
Effettua la visita di un ExpOnSexp.
visit(FailSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un FailSexp, cioè risolve il predicato fail.
visit(FailSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un FailSexp.
visit(FindAllTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un FindAllTerm, cioè risolve il predicato predefinito findall.
visit(FindAllTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un FindAllTerm.
visit(FunctorTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un FunctorTerm, cioè risolve il predicato predefinito functor.
visit(FunctorTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un FunctorTerm.
visit(GreatEqualSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un GreatEqualSexp, cioè risolve un operatore >=.
visit(GreatEqualSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un GreatEqualSexp.
visit(GreatSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un GreatSexp, cioè risolve un operatore aritmetico >.
visit(GreatSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un GreatSexp.
visit(GroundTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un GroundTerm, cioè risolve il predicato predefinito ground.
visit(GroundTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un GroundTerm.
visit(IdentSexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Effettua la visita di un IdentSexp, cioè valuta un IdentSexp.
visit(IdentSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un IdentSexp, cioè risolve un IdentSexp.
visit(IdentSexp) - Method in class Interpreter.PrologInterpreter.EvalVisitor
Effettua la visita di un IdentSexp, cioè sostanziamlmente valuta un numero.
visit(IdentSexp) - Method in class Interpreter.PrologInterpreter.RenameVisitor
Effettua la visita di un IdentSexp, cioè valuta un IdentSexp.
visit(IdentSexp) - Method in class Interpreter.Sexp.Utils.SexpVisitor
Effettua la visita di un IdentSexp, cioè valuta un IdentSexp.
visit(InfixSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di una InfixSexp.
visit(InfixSexp) - Method in class Interpreter.PrologInterpreter.EvalVisitor
Effettua la visita di un InfixSexp.
visit(InfixSexp) - Method in class Interpreter.PrologInterpreter.RenameVisitor
Effettua la visita di una InfixSexp.
visit(InfixSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.StructureSexpVisitor
Effettua la visita di un InfixSexp.
visit(IntegerTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un IntegerTerm, cioè risolve il predicato predefinito integer.
visit(IntegerTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un IntegerTerm.
visit(IsSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un IsSexp, cioè risolve un operando is valutando l'argomento.
visit(IsSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un IsSexp.
visit(LessSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un LessSexp, cioè risolve un operatore <.
visit(LessSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un LessSexp.
visit(ListingSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un ListingTerm, cioè risolve il predicato predefinito listing/0.
visit(ListingSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un RetractAllTerm.
visit(ListingTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un ListingTerm, cioè risolve il predicato predefinito listing/1.
visit(ListingTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un RetractTerm.
visit(ListSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di una ListSexp, cioè risolve le liste prolog (simboli [ ] |).
visit(ListSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di una ListSexp.
visit(MinusSexp) - Method in class Interpreter.PrologInterpreter.EvalVisitor
Effettua la visita di un MinusSexp, cioè valuta una differenza (operatore -).
visit(MinusSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.EvalSexpVisitor
Effettua la visita di un MinusSexp.
visit(MulSexp) - Method in class Interpreter.PrologInterpreter.EvalVisitor
Effettua la visita di un MulSexp, cioè valuta una moltiplicazione (operatore *).
visit(MulSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.EvalSexpVisitor
Effettua la visita di un MulSexp.
visit(NameTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un NameTerm, cioè risolve il predicato predefinito name.
visit(NameTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un NameTerm.
visit(NilListSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di una NilListSexp, cioè risolve una lista nulla.
visit(NilListSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di una NilListSexp.
visit(NilSexp) - Method in class Interpreter.LispInterpreter.EvalSexpVisitor
Effettua la visita di un NilSexp, cioè valuta un NilSexp.
visit(NilSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un NilSexp, cioè risolve un NilSexp.
visit(NilSexp) - Method in class Interpreter.PrologInterpreter.EvalVisitor
Effettua la visita di un NilSexp, cioè valuta un NilSexp.
visit(NilSexp) - Method in class Interpreter.PrologInterpreter.RenameVisitor
Effettua la visita di un NilSexp, cioè valuta un NilSexp.
visit(NilSexp) - Method in class Interpreter.Sexp.Utils.SexpVisitor
Effettua la visita di un NilSexp, cioè valuta un NilSexp.
visit(NlSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un NlSexp, cioè risolve il predicato nl.
visit(NlSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un NlSexp.
visit(NoArgsSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di una NoArgsSexp.
visit(NoArgsSexp) - Method in class Interpreter.PrologInterpreter.EvalVisitor
Effettua la visita di un NoArgsSexp.
visit(NoArgsSexp) - Method in class Interpreter.PrologInterpreter.RenameVisitor
Mette sullo stack noArgs.
visit(NoArgsSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.StructureSexpVisitor
Effettua la visita di un NoArgsSexp.
visit(NonVarTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un NonVarTerm, cioè risolve il predicato predefinito nonvar.
visit(NonVarTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un NonVarTerm.
visit(NotEqualSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un NotEqualSexp, cioè risolve un operatore \==.
visit(NotEqualSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un ArNotEqualSexp.
visit(NotSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un NotSexp, cioè risolve il predicato not.
visit(NotSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un NotSexp.
visit(NumberTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un NumberTerm, cioè risolve il predicato predefinito number.
visit(NumberTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un NumberTerm.
visit(OrSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un OrSexp, cioè risolve un or tra due termini (operatore ;).
visit(OrSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un OrSexp.
visit(PlusSexp) - Method in class Interpreter.PrologInterpreter.EvalVisitor
Effettua la visita di un PlusSexp, cioè valuta una somma (operatore +).
visit(PlusSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.EvalSexpVisitor
Effettua la visita di un PlusSexp.
visit(PostfixSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di una PostfixSexp.
visit(PostfixSexp) - Method in class Interpreter.PrologInterpreter.EvalVisitor
Effettua la visita di un PostfixSexp.
visit(PostfixSexp) - Method in class Interpreter.PrologInterpreter.RenameVisitor
Effettua la visita di una PostfixSex.
visit(PostfixSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.StructureSexpVisitor
Effettua la visita di un PostfixSexp.
visit(PrefixSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di una PrefixSexp.
visit(PrefixSexp) - Method in class Interpreter.PrologInterpreter.EvalVisitor
Effettua la visita di un PrefixSexp.
visit(PrefixSexp) - Method in class Interpreter.PrologInterpreter.RenameVisitor
Effettua la visita di una PrefixSexp.
visit(PrefixSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.StructureSexpVisitor
Effettua la visita di un PrefixSexp.
visit(QuerySexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di una QuerySexp, cioè inizia la ricerca di una soluzione.
visit(QuerySexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un QuerySexp.
visit(RandomTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un RandomTerm, cioè risolve il predicato predefinito random/3.
visit(RandomTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un RandomTerm.
visit(ReadTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un ReadTerm, cioè risolve il predicato predefinito read.
visit(ReadTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un ReadTerm.
visit(RetractAllTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un RetractAllTerm, cioè risolve il predicato predefinito retractall.
visit(RetractAllTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un RetractAllTerm.
visit(RetractTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un RetractTerm, cioè risolve il predicato predefinito retract.
visit(RetractTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un RetractTerm.
visit(SetOfTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un SetOfTerm, cioè risolve il predicato predefinito setof.
visit(SetOfTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un SetOfTerm.
visit(SqrSexp) - Method in class Interpreter.Extension.ExtendedPrologEngineVisitor
Effettua la visita di un SqrSexp, cioè valuta un SqrSexp.
visit(SqrSexp) - Method in class Interpreter.Extension.ExtendedPrologEvalVisitor
Effettua la visita di un SqrSexp, cioè valuta un SqrSexp.
visit(TermSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un TermSexp, cioè risolve un termine prolog.
visit(TermSexp) - Method in class Interpreter.PrologInterpreter.EvalVisitor
Effettua la visita di un TermSexp.
visit(TermSexp) - Method in class Interpreter.PrologInterpreter.RenameVisitor
Mette sullo stack una copia di term costruita con le variabili rinominate.
visit(TermSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.StructureSexpVisitor
Effettua la visita di un TermSexp.
visit(TermSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.EvalSexpVisitor
Effettua la visita di un TermSexp.
visit(TermToListSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un TermToListSexp, cioè risolve l'operatore '=..'.
visit(TermToListSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un TermToListSexp.
visit(TrueTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un TrueTerm, cioè risolve il predicato predefinito true.
visit(TrueTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un TrueTerm.
visit(UnaryClauseSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di una UnaryClauseSexp.
visit(UnaryClauseSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un UnaryClauseSexp.
visit(UnaryMinusSexp) - Method in class Interpreter.PrologInterpreter.EvalVisitor
Effettua la visita di un UnaryMinusSexp, cioè valuta un operatore - unario.
visit(UnaryMinusSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.EvalSexpVisitor
Effettua la visita di un UnaryMinusSexp.
visit(UnaryPlusSexp) - Method in class Interpreter.PrologInterpreter.EvalVisitor
Effettua la visita di un UnaryPlusSexp, cioè valuta un operatore + unario.
visit(UnaryPlusSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.EvalSexpVisitor
Effettua la visita di un UnaryPlusSexp.
visit(UnifySexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un UnifySexp, cioè unifica due termini (operatore =).
visit(UnifySexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un UnifySexp.
visit(VarSexp) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un VarSexp, cioè risolve una variabile.
visit(VarSexp) - Method in class Interpreter.PrologInterpreter.EvalVisitor
Effettua la visita di un VarSexp, cioè valuta una variabile.
visit(VarSexp) - Method in class Interpreter.PrologInterpreter.RenameVisitor
Effettua la visita di un oggetto VarSexp: sostituisce la variabile con una nuova.
visit(VarSexp) - Method in class Interpreter.PrologInterpreter.CompleteDerefVisitor
Effettua la visita di un oggetto VarSexp.
visit(VarSexp) - Method in class Interpreter.PrologInterpreter.DerefVisitor
Effettua la visita di un oggetto VarSexp.
visit(VarSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.StructureSexpVisitor
Effettua la visita di un VarSexp.
visit(VarSexp) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.EvalSexpVisitor
Effettua la visita di un VarSexp.
visit(VarTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un VarTerm, cioè risolve il predicato predefinito var.
visit(VarTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un VarTerm.
visit(WriteTerm) - Method in class Interpreter.PrologInterpreter.EngineSexpVisitor
Effettua la visita di un WriteTerm, cioè risolve il predicato predefinito write.
visit(WriteTerm) - Method in class Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
Effettua la visita di un WrietTerm.

W

whitespaceChars(int, int) - Method in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Specifies that all characters c in the range low <= c <= high are white space characters.
wordChars(int, int) - Method in class Interpreter.Sexp.Utils.Lexer.StreamTokenizerWithAtom
Specifies that all characters c in the range low <= c <= high are word constituents.
WriteTerm - class Interpreter.PrologInterpreter.Sexp.Terms.WriteTerm.
Un oggetto WriteTerm è il termine write, predefinito in prolog.
WriteTerm(Sexp) - Constructor for class Interpreter.PrologInterpreter.Sexp.Terms.WriteTerm
Costruisce una nuova WriteTerm.
A B C D E F G H I K L M N O P Q R S T U V W
Codice realizzato da Francesco Geri & Marco Tamanti