## Uses of Classai.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.