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

G

generateAtomNode(Document, Atom, Set<NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

generateAtomNode(Document, Atom, Set<NameSpace>) - Method in class ai.krr.propositions.XplSentenceAdaptor

generateCharacterNode(Document, CharacterSymbol) - Method in class ai.krr.fol.XfolSentenceAdaptor

generateConnectedSentenceNode(Document, ConnectedSentence, Set<NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

generateConnectedSentenceNode(Document, ConnectedSentence, Set<NameSpace>) - Method in class ai.krr.propositions.XplSentenceAdaptor

generateConstantTermNode(Document, Constant) - Method in class ai.krr.fol.XfolSentenceAdaptor

generateFunctionTermNode(Document, FunctionTerm) - Method in class ai.krr.fol.XfolSentenceAdaptor

generateIntegerNode(Document, IntegerSymbol) - Method in class ai.krr.fol.XfolSentenceAdaptor

generateLiteralNode(Document, Literal, Set<NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

generateLiteralNode(Document, Literal, Set<NameSpace>) - Method in class ai.krr.propositions.XplSentenceAdaptor

generateNegatedSentenceNode(Document, NegatedSentence, Set<NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

generateNegatedSentenceNode(Document, NegatedSentence, Set<NameSpace>) - Method in class ai.krr.propositions.XplSentenceAdaptor

generateNodeTree(Document, Sentence) - Method in class ai.krr.fol.XfolSentenceAdaptor

This function generates an Element Node that is the root for the given content.

generateNodeTree(Document, Sentence) - Method in class ai.krr.propositions.XplSentenceAdaptor

This function generates an Element Node that is the root for the given content.

generatePrefixNode(Document, QuantifiedSentence) - Method in class ai.krr.fol.XfolSentenceAdaptor

generateQuantifiedSentenceNode(Document, QuantifiedSentence, Set<NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

generateRealNumberNode(Document, RealNumberSymbol) - Method in class ai.krr.fol.XfolSentenceAdaptor

generateSentenceNode(Document, Sentence, Set<NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

This function generates an Element Node that is the root for the given content.

generateSentenceNode(Document, Sentence, Set<NameSpace>) - Method in class ai.krr.propositions.XplSentenceAdaptor

This function generates an Element Node that is the root for the given content.

generateStringNode(Document, StringSymbol) - Method in class ai.krr.fol.XfolSentenceAdaptor

generateSymbolNode(Document, String, NamedSymbol) - Method in class ai.krr.fol.XfolSentenceAdaptor

generateTermNode(Document, Term) - Method in class ai.krr.fol.XfolSentenceAdaptor

generateTruthValueNode(Document, TruthValue, Set<NameSpace>) - Method in class ai.krr.fol.XfolSentenceAdaptor

generateTruthValueNode(Document, TruthValue, Set<NameSpace>) - Method in class ai.krr.propositions.XplSentenceAdaptor

generateVariableNode(Document, Variable) - Method in class ai.krr.fol.XfolSentenceAdaptor

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

This function can be used to retrieve all the NamedSymbols that are currently defined in this NameSpace.

getArguments() - Method in class ai.krr.fol.Atom

This function returns the argument Terms of this Atom.

getArguments() - Method in class ai.krr.fol.FunctionTerm

This function returns the arguments of this FunctionTerm.

getArguments() - Method in class ai.krr.fol.Literal

This function returns the argument Terms of this Atom.

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

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

getClassOrderIndex() - Method in class ai.krr.AnonymousSymbol

This function returns the index used for ordering Symbols across different classes.

getClassOrderIndex() - Method in class ai.krr.BooleanSymbol

This function returns the index used for ordering Symbols across different classes.

getClassOrderIndex() - Method in class ai.krr.CharacterSymbol

This function returns the index used for ordering Symbols across different classes.

getClassOrderIndex() - Method in class ai.krr.fol.Atom

This function returns the index used for ordering Sentences across different classes.

getClassOrderIndex() - Method in class ai.krr.fol.ConnectedSentence

This function returns the index used for ordering Sentences across different classes.

getClassOrderIndex() - Method in class ai.krr.fol.Literal

This function returns the index used for ordering Sentences across different classes.

getClassOrderIndex() - Method in class ai.krr.fol.NegatedSentence

This function returns the index used for ordering Sentences across different classes.

getClassOrderIndex() - Method in class ai.krr.fol.QuantifiedSentence

This function returns the index used for ordering Sentences across different classes.

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

This function returns the index used for ordering Sentences across different classes.

getClassOrderIndex() - Method in class ai.krr.fol.TruthValue

This function returns the index used for ordering Sentences across different classes.

getClassOrderIndex() - Method in class ai.krr.NamedSymbol

This function returns the index used for ordering Symbols across different classes.

getClassOrderIndex() - Method in class ai.krr.NumericSymbol

This function returns the index used for ordering Symbols across different classes.

getClassOrderIndex() - Method in class ai.krr.propositions.Atom

This function returns the index used for ordering Sentences across different classes.

getClassOrderIndex() - Method in class ai.krr.propositions.ConnectedSentence

This function returns the index used for ordering Sentences across different classes.

getClassOrderIndex() - Method in class ai.krr.propositions.Literal

This function returns the index used for ordering Sentences across different classes.

getClassOrderIndex() - Method in class ai.krr.propositions.NegatedSentence

This function returns the index used for ordering Sentences across different classes.

getClassOrderIndex() - Method in class ai.krr.propositions.Sentence

This function returns the index used for ordering Sentences across different classes.

getClassOrderIndex() - Method in class ai.krr.propositions.TruthValue

This function returns the index used for ordering Sentences across different classes.

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

This function returns the index used for ordering Symbols across different classes.

getClassOrderIndex() - Method in interface ai.krr.Symbol

This function returns the index used for ordering Symbols across different classes.

getConnective() - Method in class ai.krr.fol.ConnectedSentence

This function returns the Connective that connects the sub-Sentences in this ConnectedSentence.

getConnective() - Method in class ai.krr.propositions.ConnectedSentence

This function returns the Connective that connects the sub-Sentences in this ConnectedSentence.

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

This function returns a set of all the constant Symbols occurring in this Clause.

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

This function returns a set of all the constant Symbols occurring in this Sentence.

getContainedSentence() - Method in class ai.krr.fol.NegatedSentence

This function returns the Sentence that is contained in this NegatedSentence.

getContainedSentence() - Method in class ai.krr.propositions.NegatedSentence

This function returns the Sentence that is contained in this NegatedSentence.

getContent() - Method in class ai.krr.fol.QuantifiedSentence

This function returns the contained Sentence.

getDepth() - Method in class ai.krr.fol.Atom

This function returns the nesting depth of this Sentence.

getDepth() - Method in class ai.krr.fol.BinaryConnectedSentence

This function returns the nesting depth of this Sentence.

getDepth() - Method in class ai.krr.fol.ConnectedSentence

This function returns the nesting depth of this Sentence.

getDepth() - Method in class ai.krr.fol.Constant

This function returns the nesting depth of this Term.

getDepth() - Method in class ai.krr.fol.FunctionTerm

This function returns the nesting depth of this Term.

getDepth() - Method in class ai.krr.fol.Literal

This function returns the nesting depth of this Sentence.

getDepth() - Method in class ai.krr.fol.NegatedSentence

This function returns the nesting depth of this Sentence.

getDepth() - Method in class ai.krr.fol.QuantifiedSentence

This function returns the nesting depth of this Sentence.

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

This function returns the nesting depth of this Sentence.

getDepth() - Method in class ai.krr.fol.Term

This function returns the nesting depth of this Term.

getDepth() - Method in class ai.krr.fol.TruthValue

This function returns the nesting depth of this Sentence.

getDepth() - Method in class ai.krr.fol.Variable

This function returns the nesting depth of this Term.

getDepth() - Method in class ai.krr.propositions.BinaryConnectedSentence

This function returns the nesting depth of this Sentence.

getDepth() - Method in class ai.krr.propositions.ConnectedSentence

This function returns the nesting depth of this Sentence.

getDepth() - Method in class ai.krr.propositions.NegatedSentence

This function returns the nesting depth of this Sentence.

getDepth() - Method in class ai.krr.propositions.Sentence

This function returns the nesting depth of this Sentence.

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

This function adds all the free Variables in this Sentence to the returned Set.

getFunction() - Method in class ai.krr.fol.FunctionTerm

This function returns the function symbol used in this FunctionTerm which is a NamedSymbol.

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

This function returns a set of all the function Symbols occurring in this Clause.

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

This function returns a set of all the function Symbols occurring in this Sentence.

getGroundInstances(Set<Clause>, HerbrandGenerator.HerbrandUniverse) - Static method in class ai.krr.fol.HerbrandGenerator

getIndex() - Method in class ai.krr.fol.Variable

This function returns the unique index of this Variable.

getInternalClass() - Method in class ai.krr.fol.KifKnowledgeBaseAdaptor

getInternalClass() - Method in class ai.krr.fol.KifSentenceAdaptor

This function returns the Class that holds the internal representation this adaptor translates to and from.

getInternalClass() - Method in class ai.krr.fol.XfolSentenceAdaptor

This function returns the Class that holds the internal representation this adaptor translates to and from.

getInternalClass() - Method in class ai.krr.KifSymbolAdaptor

This function returns the Class that holds the internal representation this adaptor translates to and from.

getInternalClass() - Method in class ai.krr.LispSymbolAdaptor

This function returns the Class that holds the internal representation this adaptor translates to and from.

getInternalClass() - Method in class ai.krr.propositions.IntEncodedClause.CnfIntEncodedClauseListAdaptor

This function returns the Class that holds the internal representation this adaptor translates to and from.

getInternalClass() - Method in class ai.krr.propositions.KifSentenceAdaptor

This function returns the Class that holds the internal representation this adaptor translates to and from.

getInternalClass() - Method in class ai.krr.propositions.XplSentenceAdaptor

This function returns the Class that holds the internal representation this adaptor translates to and from.

getInternalSymbol(String) - Static method in class ai.krr.NamedSymbol

This function must be used to obtain a new or the existing internal NamedSymbol for the given name.

getLeftHandSide() - Method in class ai.krr.fol.BinaryConnectedSentence

This function returns the left-hand side sub-Sentence of this BinaryConnectedSentence.

getLeftHandSide() - Method in class ai.krr.propositions.BinaryConnectedSentence

This function returns the left-hand side sub-Sentence of this BinaryConnectedSentence.

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

This function returns the the Literals that are joined in this Clause.

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

This function returns the the Literals that are joined in this Clause.

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

This function returns the the Literals that are joined in this Clause.

getLocal(String) - Method in class ai.krr.fol.KifSentenceAdaptor.VariableStack

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

getModel(Sentence) - Method in class ai.krr.propositions.DPSolverIE

This function attempts to find a model for the given Sentence.

getModel(List<Clause>) - Method in class ai.krr.propositions.DPSolverIE

This function attempts to find a model for the given Set of Clauses.

getModel(List<IntEncodedClause>, int) - Method in class ai.krr.propositions.DPSolverIE

This function attempts to find a model for the given Set of Clauses.

getModel(Sentence) - Method in class ai.krr.propositions.InterpretationEnumerator

This function attempts to find a model for the given Sentence.

getModel(Sentence) - Method in class ai.krr.propositions.RTPSolverIE

This function attempts to find a model for the given Sentence.

getModel(List<Clause>) - Method in class ai.krr.propositions.RTPSolverIE

This function attempts to find a model for the given Set of Clauses.

getModel(List<IntEncodedClause>, int) - Method in class ai.krr.propositions.RTPSolverIE

This function attempts to find a model for the given Set of Clauses.

getModel(Sentence) - Method in interface ai.krr.propositions.TheoremProver

This function attempts to find a model for the given Sentence.

getName() - Method in class ai.krr.fol.Variable

This function returns the name of this Variable.

getName() - Method in class ai.krr.NamedSymbol

This function returns the name of this NamedSymbol.

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

This function must be used to get hold of NamedSymbols with the given name.

getNameSpace() - Method in class ai.krr.NamedSymbol

This function returns the NameSpace to which this NamedSymbol belongs.

getNameSpace(URI) - Static method in class ai.krr.NameSpace

This function must be used to obtain a new or the existing NameSpace that is associated with the given URI.

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

This function returns the URI with which this NameSpace is associated.

getNonTautologyResolvent(IntEncodedClause, IntEncodedClause) - Static method in class ai.krr.propositions.RTPSolverIE

getPredicate() - Method in class ai.krr.fol.Atom

This function returns the predicate symbol used in this Atom which is a NamedSymbol.

getPredicate() - Method in class ai.krr.fol.Literal

This function returns the predicate symbol used in this Atom which is a NamedSymbol.

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

This function returns a set of all the predicate Symbols occurring in this Clause.

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

This function returns a set of all the predicate Symbols occurring in this Sentence.

getProperties() - Method in class ai.krr.KifSymbolAdaptor

This function returns all the Properties used by this SyntaxAdaptor.

getProperties() - Method in class ai.krr.LispSymbolAdaptor

This function returns all the Properties used by this SyntaxAdaptor.

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

This function gets the property that is associated with the given key.

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

This function gets the property that is associated with the given key.

getProperty(String) - Method in class ai.krr.KifSymbolAdaptor

This function gets the property that is associated with the given key.

getProperty(String) - Method in class ai.krr.LispSymbolAdaptor

This function gets the property that is associated with the given key.

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

This function gets the property that is associated with the given key.

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

This function gets the property that is associated with the given key.

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

This function returns the set of propositional symbols that occur in this Clause.

getPropositions(IntEncoding) - Method in class ai.krr.propositions.IntEncodedClause

This function returns the set of propositional symbols that occur in this Clause.

getPropositions() - Method in class ai.krr.propositions.Sentence

This function returns the set of propositional symbols that occur in this Sentence.

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

This function returns a potentially previously assigned short prefix for this NameSpace.

getQuantifier() - Method in class ai.krr.fol.QuantifiedSentence

This function returns the Quantifier used for the Variables.

getRefutation(List<Clause>) - Method in class ai.krr.propositions.RTPSolverIE

getRefutation(List<IntEncodedClause>, int) - Method in class ai.krr.propositions.RTPSolverIE

getRightHandSide() - Method in class ai.krr.fol.BinaryConnectedSentence

This function returns the right-hand side sub-Sentence of this BinaryConnectedSentence.

getRightHandSide() - Method in class ai.krr.propositions.BinaryConnectedSentence

This function returns the right-hand side sub-Sentence of this BinaryConnectedSentence.

getSubSentences() - Method in class ai.krr.fol.ConnectedSentence

This function returns the the sub-Sentences that are joined in this ConnectedSentence.

getSubSentences() - Method in class ai.krr.propositions.ConnectedSentence

This function returns the the sub-Sentences that are joined in this ConnectedSentence.

getSymbol() - Method in class ai.krr.fol.Constant

This function can be used to extract the Symbol contained in this Constant.

getSymbol() - Method in class ai.krr.fol.TruthValue

This function returns the Symbol that represents this TruthValue.

getSymbol() - Method in class ai.krr.propositions.Atom

This function returns the NamedSymbol that represents this proposition.

getSymbol() - Method in class ai.krr.propositions.Literal

This function returns the Symbol that is the proposition contained in this Literal.

getSymbol() - Method in class ai.krr.propositions.TruthValue

This function returns the Symbol that represents this TruthValue.

getSyntaxName() - Method in class ai.krr.fol.KifKnowledgeBaseAdaptor

getSyntaxName() - Method in class ai.krr.fol.KifSentenceAdaptor

This function returns the name that should identify the syntactical language that this adaptor translates to and from.

getSyntaxName() - Method in class ai.krr.fol.XfolSentenceAdaptor

This function returns the name that should identify the syntactical language that this adaptor translates to and from.

getSyntaxName() - Method in class ai.krr.KifSymbolAdaptor

This function returns the name that should identify the syntactical language that this adaptor translates to and from.

getSyntaxName() - Method in class ai.krr.LispSymbolAdaptor

This function returns the name that should identify the syntactical language that this adaptor translates to and from.

getSyntaxName() - Method in class ai.krr.propositions.IntEncodedClause.CnfIntEncodedClauseListAdaptor

This function returns the name that should identify the syntactical language that this adaptor translates to and from.

getSyntaxName() - Method in class ai.krr.propositions.KifSentenceAdaptor

This function returns the name that should identify the syntactical language that this adaptor translates to and from.

getSyntaxName() - Method in class ai.krr.propositions.XplSentenceAdaptor

This function returns the name that should identify the syntactical language that this adaptor translates to and from.

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

This function retrieves a previously assigned value for the given predicate and arguments from this Interpretation.

getType() - Method in class ai.krr.AnonymousSymbol

This function returns the type (a NamedSymbol) of this AnonymousSymbol.

getType() - Method in class ai.krr.fol.Variable

This function returns the Symbol that represents the type of this Variable.

getValue(Variable) - Method in class ai.krr.fol.Instantiation

This function returns the Term the given Variable is mapped to.

getValue(Symbol) - Method in class ai.krr.fol.Interpretation

This function retrieves a previously assigned value for the given Symbol from this Interpretation.

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

This function retrieves a previously assigned value for the given function and arguments from this Interpretation.

getValue(Variable) - Method in interface ai.krr.fol.Substitution

This function returns the Term the given Variable is mapped to under this Substitution.

getValue(Variable) - Method in class ai.krr.fol.VariableRenaming

This function returns the Term the given Variable is mapped to.

getValue(NamedSymbol) - Method in class ai.krr.propositions.Interpretation

This function retrieves a previously assigned truth value for the given propositional symbol from this Interpretation.

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

This function adds all the Variables in this Clause to the returned Set.

getVariables() - Method in class ai.krr.fol.QuantifiedSentence

This function returns the Variables that are bound here.

getVariables() - Method in class ai.krr.fol.Term

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

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

This function returns a Set of all the Variables from the left Term that are unified in this Substitution.

globalVars - Variable in class ai.krr.fol.KifSentenceAdaptor.VariableStack