Uses of Class
ai.krr.BooleanSymbol

Packages that use BooleanSymbol

ai.krr
ai.krr.fol
ai.krr.propositions

Uses of BooleanSymbol in ai.krr

Fields in ai.krr declared as BooleanSymbol

static BooleanSymbol	BooleanSymbol.FALSE the BooleanSymbol for FALSE
static BooleanSymbol	BooleanSymbol.TRUE the BooleanSymbol for TRUE

Methods in ai.krr that return BooleanSymbol

static BooleanSymbol

BooleanSymbol.not(BooleanSymbol b) This function returns the negation of the given BooleanSymbol.

Methods in ai.krr with parameters of type BooleanSymbol

int	BooleanSymbol.compareTo(BooleanSymbol boolSy) This function compares this BooleanSymbol to the given BooleanSymbol.
static BooleanSymbol	BooleanSymbol.not(BooleanSymbol b) This function returns the negation of the given BooleanSymbol.

Uses of BooleanSymbol in ai.krr.fol

Fields in ai.krr.fol declared as BooleanSymbol

protected BooleanSymbol

TruthValue.theSy the BooleanSymbol representing the TruthValue

Fields in ai.krr.fol with type parameters of type BooleanSymbol

protected java.util.Map<ai.krr.fol.Interpretation.Pattern,BooleanSymbol>

Interpretation.pMap the Map from constants to elements in the domain

Methods in ai.krr.fol that return BooleanSymbol

BooleanSymbol	TruthValue.evaluate(Interpretation ipt, Substitution s) This function evaluates this Sentence 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.
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.
BooleanSymbol	TruthValue.getSymbol() This function returns the Symbol that represents this TruthValue.
BooleanSymbol	Interpretation.getTruthValue(NamedSymbol psy, java.lang.Object[] args) This function retrieves a previously assigned value for the given predicate and arguments from this Interpretation.

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

void	Interpretation.setTruthValue(NamedSymbol psy, java.lang.Object[] args, BooleanSymbol val) This function can be used assign the given truth value to the given predicate applied to the given arguments.

Uses of BooleanSymbol in ai.krr.propositions

Fields in ai.krr.propositions declared as BooleanSymbol

protected BooleanSymbol

TruthValue.theSy the BooleanSymbol representing the TruthValue

Fields in ai.krr.propositions with type parameters of type BooleanSymbol

protected java.util.HashMap<NamedSymbol,BooleanSymbol>

Interpretation.values the Map contained in this Interpretation

Methods in ai.krr.propositions that return BooleanSymbol

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.
BooleanSymbol	TruthValue.getSymbol() This function returns the Symbol that represents this TruthValue.
BooleanSymbol	Interpretation.getValue(NamedSymbol prop) This function retrieves a previously assigned truth value for the given propositional symbol from this Interpretation.

Methods in ai.krr.propositions that return types with arguments of type BooleanSymbol

java.util.Map<java.lang.Integer,BooleanSymbol>	RTPSolverIE.getModel(java.util.List<IntEncodedClause> clauses, int maxPropInt) This function attempts to find a model for the given Set of Clauses.
java.util.Map<java.lang.Integer,BooleanSymbol>	DPSolverIE.getModel(java.util.List<IntEncodedClause> clauses, int maxPropInt) This function attempts to find a model for the given Set of Clauses.

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

void	Interpretation.setValue(NamedSymbol prop, BooleanSymbol val) This function can be used assign the given truth value to the given NamedSymbol.