Uses of Class
model.NotSolutionNode

Packages that use NotSolutionNode

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

Uses of NotSolutionNode in model

Methods in model that return NotSolutionNode

Modifier and Type	Method and Description
NotSolutionNode	Not.getSolver(RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Creates a solver which is a node in the tree proof.