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

S

satisfies(Sentence) - Method in class ai.krr.propositions.Interpretation

This function tests whether the given propositional Sentence evaluates to true under this Interpretation.

scanner - Variable in class ai.krr.fol.KifKnowledgeBaseAdaptor

the lexical analyzer used for tokenizing the input

scanner - Variable in class ai.krr.fol.KifSentenceAdaptor

the lexical analyzer used for tokenizing the input

scanner - Variable in class ai.krr.KifSymbolAdaptor

the lexical analyzer used for tokenizing the input

scanner - Variable in class ai.krr.LispSymbolAdaptor

the lexical analyzer used for tokenizing the input

scanner - Variable in class ai.krr.propositions.IntEncodedClause.CnfIntEncodedClauseListAdaptor

the lexical analyzer used for tokenizing the input

scanner - Variable in class ai.krr.propositions.KifSentenceAdaptor

the lexical analyzer used for tokenizing the input

searcher - Variable in class ai.krr.propositions.DPSolverIE

the SearchEngine used to perform the search for a model

Sentence - Class in ai.krr.fol

A Sentence is usually used in logic to represent a proposition that is either true or false.

Sentence() - Constructor for class ai.krr.fol.Sentence

Sentence - Class in ai.krr.propositions

A Sentence is usually used in logic to represent a proposition that is either true or false.

Sentence() - Constructor for class ai.krr.propositions.Sentence

Sentence.SubSentenceIterator - Class in ai.krr.fol

Sentence.SubSentenceIterator() - Constructor for class ai.krr.fol.Sentence.SubSentenceIterator

sentences - Variable in class ai.krr.fol.ConnectedSentence

the sub-Sentences connected here

sentences - Variable in class ai.krr.propositions.ConnectedSentence

the sub-Sentences connected here

seqvarTT - Static variable in class ai.krr.fol.KifSentenceAdaptor

the token types used

setHuLimit(int) - Method in class ai.krr.fol.HerbrandGenerator

setProperty(String, String) - Method in class ai.krr.fol.KifKnowledgeBaseAdaptor

This function sets the property associated with the given key to the given value.

setProperty(String, String) - Method in class ai.krr.fol.KifSentenceAdaptor

This function sets the property associated with the given key to the given value.

setProperty(String, String) - Method in class ai.krr.KifSymbolAdaptor

This function sets the property associated with the given key to the given value.

setProperty(String, String) - Method in class ai.krr.LispSymbolAdaptor

This function sets the property associated with the given key to the given value.

setProperty(String, String) - Method in class ai.krr.propositions.IntEncodedClause.CnfIntEncodedClauseListAdaptor

This function sets the property associated with the given key to the given value.

setProperty(String, String) - Method in class ai.krr.propositions.KifSentenceAdaptor

This function sets the property associated with the given key to the given value.

setProxy(String) - Method in class ai.krr.NameSpace

This function can be used to assign a short prefix to this NameSpace.

setTraceStream(OutputStream) - Method in class ai.krr.fol.HerbrandGenerator

This function can be used to activate tracing of the search activity.

setTraceStream(OutputStream) - Method in class ai.krr.propositions.DPSolverIE

This function can be used to activate tracing of the search activity.

setTraceStream(OutputStream) - Method in class ai.krr.propositions.RTPSolverIE

This function can be used to activate tracing of the search activity.

setTruthValue(NamedSymbol, Object[], BooleanSymbol) - Method in class ai.krr.fol.Interpretation

This function can be used assign the given truth value to the given predicate applied to the given arguments.

setType(NamedSymbol) - Method in class ai.krr.fol.Variable

This function sets the type of this Variable to the given NamedSymbol (or null).

setValue(Symbol, Object) - Method in class ai.krr.fol.Interpretation

This function can be used assign the given Object as the value under this Interpretation to the given Symbol.

setValue(Symbol, Object[], Object) - Method in class ai.krr.fol.Interpretation

This function can be used assign the given Object as the value under this Interpretation to the given function applied to the given arguments.

setValue(NamedSymbol, BooleanSymbol) - Method in class ai.krr.propositions.Interpretation

This function can be used assign the given truth value to the given NamedSymbol.

sign - Variable in class ai.krr.propositions.Literal

indicates whether this Literal is positive (true) or negative (false)

size() - Method in class ai.krr.fol.Clause

This function returns the number of Literals in this Clause.

size() - Method in class ai.krr.fol.Instantiation

This function returns the number of variables bound by this Grounding.

size() - Method in class ai.krr.fol.VariableRenaming

This function returns the number of variables bound by this Grounding.

size() - Method in class ai.krr.NameSpace

This function returns the number of symbols currently stored in this NameSpace.

size() - Method in class ai.krr.propositions.Clause

This function returns the number of Literals in this Clause.

size() - Method in class ai.krr.propositions.IntEncodedClause

This function returns the number of Literals in this Clause.

skolemize(boolean, Term[], Substitution) - Method in class ai.krr.fol.Atom

This function computes a skolemized version of this Sentence.

skolemize(boolean, Term[], Substitution) - Method in class ai.krr.fol.BinaryConnectedSentence

This function computes a skolemized version of this Sentence.

skolemize(boolean, Term[], Substitution) - Method in class ai.krr.fol.ConnectedSentence

This function computes a skolemized version of this Sentence.

skolemize(boolean, Term[], Substitution) - Method in class ai.krr.fol.Literal

This function computes a skolemized version of this Sentence.

skolemize(boolean, Term[], Substitution) - Method in class ai.krr.fol.NegatedSentence

This function computes a skolemized version of this Sentence.

skolemize(boolean, Term[], Substitution) - Method in class ai.krr.fol.QuantifiedSentence

This function computes a skolemized version of this Sentence.

skolemize() - Method in class ai.krr.fol.Sentence

This function computes a skolemized version of this Sentence.

skolemize(boolean, Term[], Substitution) - Method in class ai.krr.fol.Sentence

This function computes a skolemized version of this Sentence.

skolemize(boolean, Term[], Substitution) - Method in class ai.krr.fol.TruthValue

This function computes a skolemized version of this Sentence.

stackLocals(String, Variable) - Method in class ai.krr.fol.KifSentenceAdaptor.VariableStack

StringSymbol - Class in ai.krr

This class implements part of the foundations for symbolic programming in Java.

StringSymbol(String) - Constructor for class ai.krr.StringSymbol

This constructor creates a StringSymbol for the given char value.

stringTT - Static variable in class ai.krr.KifSymbolAdaptor

token types used

stringTT - Static variable in class ai.krr.LispSymbolAdaptor

the token types used

stringValue() - Method in class ai.krr.StringSymbol

This function returns the value of this StringSymbol as a Java String.

Substitution - Interface in ai.krr.fol

A Substitution maps a set of Variables to a set of Terms.

Symbol - Interface in ai.krr

This class implements the foundations for symbolic programming in Java.

SyntaxAdaptableSymbol - Class in ai.krr

This class implements the foundations for symbolic programming in Java.

SyntaxAdaptableSymbol() - Constructor for class ai.krr.SyntaxAdaptableSymbol