Uses of Interface
ai.krr.fol.Substitution

Packages that use Substitution

ai.krr.fol

Uses of Substitution in ai.krr.fol

Classes in ai.krr.fol that implement Substitution

class	Instantiation An Instantiation maps a set of Variables to a set of Terms.
class	VariableRenaming A VariableRenaming maps a set of Variables to a set of Variables.

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

Term	Variable.clone(Substitution s) Cloning a Variable with a given Substitution returns a new Term which is determined by the given Substitution.
TruthValue	TruthValue.clone(Substitution s) Cloning a TruthValue returns this Object.
abstract Term	Term.clone(Substitution s) Returns a copy of this Term with Variables replaced according to the given Substitution.
abstract Sentence	Sentence.clone(Substitution s) Returns a copy of this Sentence with free Variables replaced according to the given Substitution.
QuantifiedSentence	QuantifiedSentence.clone(Substitution s) Returns a copy of this Sentence with Variables replaced according to the given Substitution.
NegatedSentence	NegatedSentence.clone(Substitution s) Returns a deep copy of this NegatedSentence with Variables replaced according to the given Substitution.
Literal	Literal.clone(Substitution s)
FunctionTerm	FunctionTerm.clone(Substitution s) Returns a deep copy of this FunctionTerm with Variables replaced according to the given Substitution.
Constant	Constant.clone(Substitution s) Cloning a Constant under a given Substitution returns this Constant.
ConnectedSentence	ConnectedSentence.clone(Substitution s) Returns a copy of this Sentence with Variables replaced according to the given Substitution.
BinaryConnectedSentence	BinaryConnectedSentence.clone(Substitution s) Returns a copy of this Sentence with Variables replaced according to the given Substitution.
Atom	Atom.clone(Substitution s) Returns a deep copy of this Atom with Variables replaced according to the given Substitution.
boolean	Literal.complements(Literal other, Substitution s) This function attempts to extend the given Substitution so that this Literal and the given Literal are complementary.
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.
protected Sentence	TruthValue.skolemize(boolean isNegated, Term[] uqVars, Substitution s) This function computes a skolemized version of this Sentence.
protected abstract Sentence	Sentence.skolemize(boolean isNegated, Term[] uqVars, Substitution s) This function computes a skolemized version of this Sentence.
protected Sentence	QuantifiedSentence.skolemize(boolean isNegated, Term[] uqVars, Substitution s) This function computes a skolemized version of this Sentence.
protected Sentence	NegatedSentence.skolemize(boolean isNegated, Term[] uqVars, Substitution s) This function computes a skolemized version of this Sentence.
protected Sentence	Literal.skolemize(boolean isNegated, Term[] uqVars, Substitution s) This function computes a skolemized version of this Sentence.
protected Sentence	ConnectedSentence.skolemize(boolean isNegated, Term[] uqVars, Substitution s) This function computes a skolemized version of this Sentence.
protected Sentence	BinaryConnectedSentence.skolemize(boolean isNegated, Term[] uqVars, Substitution s) This function computes a skolemized version of this Sentence.
protected Sentence	Atom.skolemize(boolean isNegated, Term[] uqVars, Substitution s) This function computes a skolemized version of this Sentence.
boolean	Atom.unify(Atom other, Substitution s) This function attempts to extend the given Substitution so that this Atom and the given Atom are unified.
boolean	Literal.unify(Literal other, Substitution s) This function attempts to extend the given Substitution so that this Literal and the given Literal are unified.
boolean	Variable.unify(Term other, Substitution s) This function attempts to extend the given Substitution so that this Term and the given Term are unified.
abstract boolean	Term.unify(Term other, Substitution s) This function attempts to extend the given Substitution so that this Term and the given Term are unified.
boolean	FunctionTerm.unify(Term other, Substitution s) This function attempts to extend the given Substitution so that this FunctionTerm and the given Term are unified.
boolean	Constant.unify(Term other, Substitution s) This function attempts to extend the given Substitution so that this Term and the given Term are unified.