Uses of Interfaceai.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.