Uses of Class
model.AbstractSolutionNode

Packages that use AbstractSolutionNode

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

Uses of AbstractSolutionNode in model

Subclasses of AbstractSolutionNode in model

Modifier and Type	Class and Description
class	AndSolutionNode This class represents a and node in the tree of proof.
class	ArithmeticSolutionNode This class represents a arithmetic expression node in the tree of proof.
class	EqualSolutionNode This class represents a equality node in the tree of proof.
class	NotSolutionNode This class represents a negative node in the tree of proof.
class	SimpleSentenceSolutionNode This class represents a simple sentence node in the tree of proof.

Fields in model declared as AbstractSolutionNode

Modifier and Type	Field and Description
private AbstractSolutionNode	SimpleSentenceSolutionNode.child
private AbstractSolutionNode	AbstractSolutionNode.deepestLeaf
private AbstractSolutionNode	AndSolutionNode.headSolutionNode
private AbstractSolutionNode	AbstractSolutionNode.parentNode
private AbstractSolutionNode	NotSolutionNode.tailSolutionNode
private AbstractSolutionNode	AndSolutionNode.tailSolutionNode

Fields in model with type parameters of type AbstractSolutionNode

Modifier and Type	Field and Description
private Map<Goal,AbstractSolutionNode>	GoalsList.goalsList

Methods in model that return AbstractSolutionNode

Modifier and Type	Method and Description
AbstractSolutionNode	AbstractSolutionNode.getDeepestLeaf() Gets the deepest leaf of the tree.
protected AbstractSolutionNode	AndSolutionNode.getHeadSolutionNode() Gets the solution node of the and clause's head.
AbstractSolutionNode	AbstractSolutionNode.getParentNode() Gets the parent node.
AbstractSolutionNode	Clause.getSolver(RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Creates a solver which is a node in the tree proof.
protected AbstractSolutionNode	NotSolutionNode.getTailSolutionNode() Gets the solution node of the not clause's tail.
protected AbstractSolutionNode	AndSolutionNode.getTailSolutionNode() Gets the solution node of the and clause's tail.

Methods in model with parameters of type AbstractSolutionNode

Modifier and Type	Method and Description
private boolean	GoalsList.backtrack(AbstractSolutionNode leaf, Goal goal, RuleSet rulesAndEvents, RuleSet ruleSet, RuleSet events)
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.
void	AbstractSolutionNode.setDeepestLeaf(AbstractSolutionNode leaf) Sets the deepest leaf to the specified leaf.

Constructors in model with parameters of type AbstractSolutionNode

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.