Uses of Class
model.Not

Packages that use Not

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

Uses of Not in controller

Methods in controller that return Not

Modifier and Type	Method and Description
static Not	Interpreter.stringToNegation(String string, HashMap<String,Variable> variables) Deprecated. Converts the input string into a Not object.

Uses of Not in model

Methods in model that return Not

Modifier and Type	Method and Description
protected Not	Not.create(List<Clause> operands) Generic constructor of the object.

Constructors in model with parameters of type Not

Constructor and Description
NotSolutionNode(Not clause, RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Constructor of the class.