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

A

add(Sentence) - Method in class ai.krr.fol.KnowledgeBase

This function asserts the given Sentence in this KnowledgeBase.

add(IntEncodedClause) - Method in class ai.krr.propositions.IntEncodedClause.IntEncodedClauseList

add(int) - Method in class ai.krr.propositions.IntEncodedClause.LiteralSet

addBoundVariables(Set<Variable>) - Method in class ai.krr.fol.Atom

This function adds the bound Variables in this Sentence to the given Set.

addBoundVariables(Set<Variable>) - Method in class ai.krr.fol.ConnectedSentence

This function adds the bound Variables in this Sentence to the given Set.

addBoundVariables(Set<Variable>) - Method in class ai.krr.fol.Literal

This function adds the bound Variables in this Sentence to the given Set.

addBoundVariables(Set<Variable>) - Method in class ai.krr.fol.NegatedSentence

This function adds the bound Variables in this Sentence to the given Set.

addBoundVariables(Set<Variable>) - Method in class ai.krr.fol.QuantifiedSentence

This function adds the bound Variables in this Sentence to the given Set.

addBoundVariables(Set<Variable>) - Method in class ai.krr.fol.Sentence

This function adds the bound Variables in this Sentence to the given Set.

addBoundVariables(Set<Variable>) - Method in class ai.krr.fol.TruthValue

This function adds the bound Variables in this Sentence to the given Set.

addConstants(Set<Symbol>) - Method in class ai.krr.fol.Atom

This function adds all the constant Symbols used in this Sentence to the given Set.

addConstants(Set<Symbol>) - Method in class ai.krr.fol.ConnectedSentence

This function adds all the constant Symbols used in this Sentence to the given Set.

addConstants(Set<Symbol>) - Method in class ai.krr.fol.Constant

This function adds all the constant Symbols used in this Term to the given Set.

addConstants(Set<Symbol>) - Method in class ai.krr.fol.FunctionTerm

This function adds all the constant Symbols used in this Term to the given Set.

addConstants(Set<Symbol>) - Method in class ai.krr.fol.Literal

This function adds all the constant Symbols used in this Term to the given Set.

addConstants(Set<Symbol>) - Method in class ai.krr.fol.NegatedSentence

This function adds all the constant Symbols used in this Sentence to the given Set.

addConstants(Set<Symbol>) - Method in class ai.krr.fol.QuantifiedSentence

This function adds all the constant Symbols used in this Sentence to the given Set.

addConstants(Set<Symbol>) - Method in class ai.krr.fol.Sentence

This function adds all the constant Symbols used in this Sentence to the given Set.

addConstants(Set<Symbol>) - Method in class ai.krr.fol.Term

This function adds all the constant Symbols used in this Term to the given Set.

addConstants(Set<Symbol>) - Method in class ai.krr.fol.TruthValue

This function adds all the constant Symbols used in this Sentence to the given Set.

addConstants(Set<Symbol>) - Method in class ai.krr.fol.Variable

This function adds all the constant Symbols used in this Term to the given Set.

addFreeVariables(Set<Variable>, Set<Variable>) - Method in class ai.krr.fol.Atom

This function adds the free Variables in this Sentence to the first given Set.

addFreeVariables(Set<Variable>, Set<Variable>) - Method in class ai.krr.fol.ConnectedSentence

This function adds the free Variables in this Sentence to the first given Set.

addFreeVariables(Set<Variable>, Set<Variable>) - Method in class ai.krr.fol.Constant

This function adds the free Variables in this Term to the first given Set.

addFreeVariables(Set<Variable>, Set<Variable>) - Method in class ai.krr.fol.FunctionTerm

This function adds the free Variables in this Term to the first given Set.

addFreeVariables(Set<Variable>, Set<Variable>) - Method in class ai.krr.fol.Literal

This function adds the free Variables in this Sentence to the first given Set.

addFreeVariables(Set<Variable>, Set<Variable>) - Method in class ai.krr.fol.NegatedSentence

This function adds the free Variables in this Sentence to the first given Set.

addFreeVariables(Set<Variable>, Set<Variable>) - Method in class ai.krr.fol.QuantifiedSentence

This function adds the free Variables in this Sentence to the first given Set.

addFreeVariables(Set<Variable>, Set<Variable>) - Method in class ai.krr.fol.Sentence

This function adds the free Variables in this Sentence to the first given Set.

addFreeVariables(Set<Variable>, Set<Variable>) - Method in class ai.krr.fol.Term

This function adds the free Variables in this Term to the first given Set.

addFreeVariables(Set<Variable>, Set<Variable>) - Method in class ai.krr.fol.TruthValue

This function adds the free Variables in this Sentence to the first given Set.

addFreeVariables(Set<Variable>, Set<Variable>) - Method in class ai.krr.fol.Variable

This function adds the free Variables in this Term to the first given Set.

addFunctions(Map<Symbol, Integer>) - Method in class ai.krr.fol.Atom

This function adds all the function Symbols used in this Sentence to the given Set.

addFunctions(Map<Symbol, Integer>) - Method in class ai.krr.fol.ConnectedSentence

This function adds all the function Symbols used in this Sentence to the given Set.

addFunctions(Map<Symbol, Integer>) - Method in class ai.krr.fol.Constant

This function adds all the function Symbols used in this Term to the given Set.

addFunctions(Map<Symbol, Integer>) - Method in class ai.krr.fol.FunctionTerm

This function adds all the function Symbols used in this Term to the given Set.

addFunctions(Map<Symbol, Integer>) - Method in class ai.krr.fol.Literal

This function adds all the function Symbols used in this Term to the given Set.

addFunctions(Map<Symbol, Integer>) - Method in class ai.krr.fol.NegatedSentence

This function adds all the function Symbols used in this Sentence to the given Set.

addFunctions(Map<Symbol, Integer>) - Method in class ai.krr.fol.QuantifiedSentence

This function adds all the function Symbols used in this Sentence to the given Set.

addFunctions(Map<Symbol, Integer>) - Method in class ai.krr.fol.Sentence

This function adds all the function Symbols used in this Sentence to the given Set.

addFunctions(Map<Symbol, Integer>) - Method in class ai.krr.fol.Term

This function adds all the function Symbols used in this Term to the given Set.

addFunctions(Map<Symbol, Integer>) - Method in class ai.krr.fol.TruthValue

This function adds all the function Symbols used in this Sentence to the given Set.

addFunctions(Map<Symbol, Integer>) - Method in class ai.krr.fol.Variable

This function adds all the function Symbols used in this Term to the given Set.

addPredicates(Map<NamedSymbol, Integer>) - Method in class ai.krr.fol.Atom

This function adds all the predicate Symbols used in this Sentence to the given Set.

addPredicates(Map<NamedSymbol, Integer>) - Method in class ai.krr.fol.ConnectedSentence

This function adds all the predicate Symbols used in this Sentence to the given Set.

addPredicates(Map<NamedSymbol, Integer>) - Method in class ai.krr.fol.Literal

This function adds all the predicate Symbols used in this Term to the given Set.

addPredicates(Map<NamedSymbol, Integer>) - Method in class ai.krr.fol.NegatedSentence

This function adds all the predicate Symbols used in this Sentence to the given Set.

addPredicates(Map<NamedSymbol, Integer>) - Method in class ai.krr.fol.QuantifiedSentence

This function adds all the predicate Symbols used in this Sentence to the given Set.

addPredicates(Map<NamedSymbol, Integer>) - Method in class ai.krr.fol.Sentence

This function adds all the predicate Symbols used in this Sentence to the given Set.

addPredicates(Map<NamedSymbol, Integer>) - Method in class ai.krr.fol.TruthValue

This function adds all the predicate Symbols used in this Sentence to the given Set.

addPropositions(Set<NamedSymbol>) - Method in class ai.krr.propositions.Atom

This function adds the propositions contained in this Sentence to the given Set.

addPropositions(Set<NamedSymbol>) - Method in class ai.krr.propositions.BinaryConnectedSentence

This function adds the propositions contained in this Sentence to the given Set.

addPropositions(Set<NamedSymbol>) - Method in class ai.krr.propositions.ConnectedSentence

This function adds the propositions contained in this Sentence to the given Set.

addPropositions(Set<NamedSymbol>) - Method in class ai.krr.propositions.Literal

This function adds the propositions contained in this Sentence to the given Set.

addPropositions(Set<NamedSymbol>) - Method in class ai.krr.propositions.NegatedSentence

This function adds the propositions contained in this Sentence to the given Set.

addPropositions(Set<NamedSymbol>) - Method in class ai.krr.propositions.Sentence

This function adds the propositions contained in this Sentence to the given Set.

addPropositions(Set<NamedSymbol>) - Method in class ai.krr.propositions.TruthValue

This function adds the propositions contained in this Sentence to the given Set.

addSubSentences(List<Sentence>, boolean) - Method in class ai.krr.propositions.Sentence

This function can be used to fill the given List of with all the sub-Sentences of this Sentence, including the Sentence itself.

addVariables(Set<Variable>) - Method in class ai.krr.fol.Constant

This function adds the Variables in this Term to the given Set.

addVariables(Set<Variable>) - Method in class ai.krr.fol.FunctionTerm

This function adds the Variables in this FunctionTerm to the given Set.

addVariables(Set<Variable>) - Method in class ai.krr.fol.Term

This function adds all the Variables in this Term to the given Set.

addVariables(Set<Variable>) - Method in class ai.krr.fol.Variable

This function adds this Variable to the given Set.

ai.krr - package ai.krr

ai.krr.fol - package ai.krr.fol

ai.krr.propositions - package ai.krr.propositions

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

This function can be used to iterate through all the sub-Sentences of this Sentence, including the Sentence itself.

allSubSentences(boolean) - Method in class ai.krr.propositions.Sentence

This function can be used to create a List of all the sub-Sentences of this Sentence, including the Sentence itself.

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

the token types used

andTT - Static variable in class ai.krr.propositions.KifSentenceAdaptor

the token types used

AnonymousSymbol - Class in ai.krr

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

AnonymousSymbol(NamedSymbol) - Constructor for class ai.krr.AnonymousSymbol

This constructor creates a new AnonymousSymbol of the given type.

arguments - Variable in class ai.krr.fol.FunctionTerm

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

This function tests whether all the NamedSymbols in the given Sentence are assigned a truth value by this Interpretation.

Atom - Class in ai.krr.fol

An Atom is one of the most basic building blocks for a Sentence.

Atom(NamedSymbol, List<Term>) - Constructor for class ai.krr.fol.Atom

This constructor for an Atom takes a predicate Symbol and a List of argument Terms.

Atom(NamedSymbol, Term...) - Constructor for class ai.krr.fol.Atom

This constructor for an Atom takes a predicate Symbol and a number of argument Terms.

Atom - Class in ai.krr.propositions

An Atom is one of the most basic building blocks for a Sentence.

Atom(NamedSymbol) - Constructor for class ai.krr.propositions.Atom

This constructor for an Atom takes a NamedSymbol for the proposition.