Uses of Class
ai.krr.propositions.Interpretation

Packages that use Interpretation

ai.krr.propositions

Uses of Interpretation in ai.krr.propositions

Methods in ai.krr.propositions that return Interpretation

Interpretation	Interpretation.clone() This function creates a copy of this Interpretation.
Interpretation	RTPSolverIE.getModel(java.util.List<Clause> clauses) This function attempts to find a model for the given Set of Clauses.
Interpretation	DPSolverIE.getModel(java.util.List<Clause> clauses) This function attempts to find a model for the given Set of Clauses.
Interpretation	TheoremProver.getModel(Sentence stmt) This function attempts to find a model for the given Sentence.
Interpretation	RTPSolverIE.getModel(Sentence stmt) This function attempts to find a model for the given Sentence.
Interpretation	InterpretationEnumerator.getModel(Sentence stmt) This function attempts to find a model for the given Sentence.
Interpretation	DPSolverIE.getModel(Sentence stmt) This function attempts to find a model for the given Sentence.
Interpretation	Interpretation.InterpretationIterator.next() This function modifies the Interpretation maintained by this Iterator to the next one and returns it.

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

boolean	Interpretation.equals(Interpretation ipt) This function compares this Interpretation to the given Interpretation.
BooleanSymbol	TruthValue.evaluate(Interpretation ipt) This function evaluates this Sentence under the given Interpretation.
abstract BooleanSymbol	Sentence.evaluate(Interpretation i) This function evaluates this Sentence under the given Interpretation.
BooleanSymbol	NegatedSentence.evaluate(Interpretation ipt) This function evaluates this Sentence under the given Interpretation.
BooleanSymbol	Literal.evaluate(Interpretation ipt) This function evaluates this Sentence under the given Interpretation.
BooleanSymbol	ConnectedSentence.evaluate(Interpretation ipt) This function evaluates this Sentence under the given Interpretation.
BooleanSymbol	Clause.evaluate(Interpretation ipt) This function evaluates this Clause under the given Interpretation.
BooleanSymbol	BinaryConnectedSentence.evaluate(Interpretation ipt) This function evaluates this Sentence under the given Interpretation.
BooleanSymbol	Atom.evaluate(Interpretation ipt) This function evaluates this Sentence under the given Interpretation.