Uses of Class
model.AndSolutionNode

Packages that use AndSolutionNode

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

Uses of AndSolutionNode in model

Methods in model that return AndSolutionNode

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