Uses of Class
model.SubstitutionSet

Packages that use SubstitutionSet

Package	Description
model	This package is the model package of the model-view-controller (MVC) pattern.

Uses of SubstitutionSet in model

Fields in model declared as SubstitutionSet

Modifier and Type	Field and Description
private SubstitutionSet	AbstractSolutionNode.parentSolution

Methods in model that return SubstitutionSet

Modifier and Type	Method and Description
SubstitutionSet	AbstractSolutionNode.getParentSolution() Gets the parent solution.
SubstitutionSet	SimpleSentenceSolutionNode.nextSolution() Creates the next solution for the simple sentence of the node.
SubstitutionSet	NotSolutionNode.nextSolution() Creates the next solution for the negative clause of the node.
SubstitutionSet	EqualSolutionNode.nextSolution() Creates the next solution for the equality of the node.
SubstitutionSet	ArithmeticSolutionNode.nextSolution() Creates the next solution for the arithmetic expression of the node.
SubstitutionSet	AndSolutionNode.nextSolution() Creates the next solution for the and clause of the node.
abstract SubstitutionSet	AbstractSolutionNode.nextSolution() Creates the next solution for the clause of the node.
SubstitutionSet	Variable.unify(Unifiable expr, SubstitutionSet s) Unifies the variable with the specified expr expression given the bindings s.
SubstitutionSet	Unifiable.unify(Unifiable expr, SubstitutionSet s) Unifies the expression with the specified expr expression given the bindings s.
SubstitutionSet	SimpleSentence.unify(Unifiable expr, SubstitutionSet s) Unifies the simple sentence with the specified expr expression given the bindings s.
SubstitutionSet	Constant.unify(Unifiable expr, SubstitutionSet s) Unifies the constant with the specified expr expression given the bindings s.

Methods in model with parameters of type SubstitutionSet

Modifier and Type	Method and Description
SimpleSentenceSolutionNode	SimpleSentence.getSolver(RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Creates a solver which is a node in the tree proof.
NotSolutionNode	Not.getSolver(RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Creates a solver which is a node in the tree proof.
EqualSolutionNode	Equal.getSolver(RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Creates a solver which is a node in the tree proof.
AbstractSolutionNode	Clause.getSolver(RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Creates a solver which is a node in the tree proof.
ArithmeticSolutionNode	Arithmetic.getSolver(RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Creates a solver which is a node in the tree proof.
AndSolutionNode	And.getSolver(RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Creates a solver which is a node in the tree proof.
PCExpression	Variable.replaceVariables(SubstitutionSet s) Replaces all the variables in the variable according to the specified bindings.
SimpleSentence	SimpleSentence.replaceVariables(SubstitutionSet s) Replaces all the variables in the simple sentence according to the specified bindings.
Rule	Rule.replaceVariables(SubstitutionSet s) Replaces all the variables in the rule according to the specified bindings.
ReactiveRule	ReactiveRule.replaceVariables(SubstitutionSet s) Replaces all the variables in the reactive rule according to the specified bindings.
PCExpression	PCExpression.replaceVariables(SubstitutionSet s) Replaces all the variables in the predicate expression according to the specified bindings.
Equal	Equal.replaceVariables(SubstitutionSet s) Replaces all the variables in the equal clause according to the specified bindings.
Constant	Constant.replaceVariables(SubstitutionSet s) Replaces all the variables in the constant according to the specified bindings.
Arithmetic	Arithmetic.replaceVariables(SubstitutionSet s) Replaces all the variables in the arithmetic expression according to the specified bindings.
AbstractOperator	AbstractOperator.replaceVariables(SubstitutionSet s) Replaces all the variables in the clause according to the specified bindings.
protected void	SimpleSentenceSolutionNode.reset(SubstitutionSet newParentSolution, RuleSet newRuleSet) Resets the subtree to the new state of the database and resets all the counters that prevent from infinite evaluation of the node.
protected void	NotSolutionNode.reset(SubstitutionSet newParentSolution, RuleSet newRuleSet) Resets the subtree to the new state of the database and resets all the counters that prevent from infinite evaluation of the node.
protected void	ArithmeticSolutionNode.reset(SubstitutionSet newParentSolution, RuleSet newRuleSet) Resets the subtree to the new state of the database and resets all the counters that prevent from infinite evaluation of the node.
protected void	AndSolutionNode.reset(SubstitutionSet newParentSolution, RuleSet newRuleSet) Resets the subtree to the new state of the database and resets all the counters that prevent from infinite evaluation of the node.
protected void	AbstractSolutionNode.reset(SubstitutionSet newParentSolution, RuleSet newRuleSet) Resets the subtree to the new state of the database and resets all the counters that prevent from infinite evaluation of the node.
SubstitutionSet	Variable.unify(Unifiable expr, SubstitutionSet s) Unifies the variable with the specified expr expression given the bindings s.
SubstitutionSet	Unifiable.unify(Unifiable expr, SubstitutionSet s) Unifies the expression with the specified expr expression given the bindings s.
SubstitutionSet	SimpleSentence.unify(Unifiable expr, SubstitutionSet s) Unifies the simple sentence with the specified expr expression given the bindings s.
SubstitutionSet	Constant.unify(Unifiable expr, SubstitutionSet s) Unifies the constant with the specified expr expression given the bindings s.

Constructors in model with parameters of type SubstitutionSet

Constructor and Description
AbstractSolutionNode(Clause clause, RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Constructor of the class.
AndSolutionNode(And clause, RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Constructor of the class.
ArithmeticSolutionNode(Arithmetic clause, RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Constructor of the class.
EqualSolutionNode(Equal clause, RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Constructor of the class.
NotSolutionNode(Not clause, RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Constructor of the class.
SimpleSentenceSolutionNode(SimpleSentence clause, RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Constructor of the class.
SubstitutionSet(SubstitutionSet s) Constructor of the class.