Uses of Class
ai.krr.fol.Interpretation

Packages that use Interpretation

ai.krr.fol

Uses of Interpretation in ai.krr.fol

Methods in ai.krr.fol with parameters of type Interpretation

java.lang.Object	Variable.evaluate(Interpretation ipt, Substitution s) This function evaluates this Term under the given Interpretation and Substitution for Variables.
BooleanSymbol	TruthValue.evaluate(Interpretation ipt, Substitution s) This function evaluates this Sentence under the given Interpretation and Substitution for Variables.
abstract java.lang.Object	Term.evaluate(Interpretation i, Substitution s) This function evaluates this Term under the given Interpretation and Substitution for Variables.
abstract BooleanSymbol	Sentence.evaluate(Interpretation ipt, Substitution s) This function evaluates this Sentence under the given Interpretation and Substitution for Variables.
BooleanSymbol	QuantifiedSentence.evaluate(Interpretation ipt, Substitution s) This function evaluates this Sentence under the given Interpretation and Substitution for Variables.
BooleanSymbol	NegatedSentence.evaluate(Interpretation ipt, Substitution s) This function evaluates this Sentence under the given Interpretation and Substitution for Variables.
BooleanSymbol	Literal.evaluate(Interpretation ipt, Substitution s) This function evaluates this Sentence under the given Interpretation and Substitution for Variables.
java.lang.Object	FunctionTerm.evaluate(Interpretation ipt, Substitution s) This function evaluates this Term under the given Interpretation and Substitution for Variables.
java.lang.Object	Constant.evaluate(Interpretation ipt, Substitution s) This function evaluates this Term under the given Interpretation and Substitution for Variables.
BooleanSymbol	ConnectedSentence.evaluate(Interpretation ipt, Substitution s) This function evaluates this Sentence under the given Interpretation and Substitution for Variables.
BooleanSymbol	Clause.evaluate(Interpretation ipt, Substitution s) This function evaluates this Sentence under the given Interpretation.
BooleanSymbol	BinaryConnectedSentence.evaluate(Interpretation ipt, Substitution s) This function evaluates this Sentence under the given Interpretation.
BooleanSymbol	Atom.evaluate(Interpretation ipt, Substitution s) This function evaluates this Sentence under the given Interpretation and Substitution for Variables.