Uses of Class
model.SimpleSentenceSolutionNode

Packages that use SimpleSentenceSolutionNode

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

Uses of SimpleSentenceSolutionNode in model

Methods in model that return SimpleSentenceSolutionNode

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.