- negation() - Method in class controller.syntax.JLPSSyntaxParser
-
- nextDefinition - Variable in class model.Goal
-
- nextEvents - Variable in class model.GoalsList
-
- nextId - Static variable in class model.Constant
-
- nextId - Static variable in class model.Variable
-
- nextRule() - Method in class model.AbstractSolutionNode
-
Gets the next rule to work with.
- nextSolution() - Method in class model.AbstractSolutionNode
-
Creates the next solution for the clause of the node.
- nextSolution() - Method in class model.AndSolutionNode
-
Creates the next solution for the and clause of the node.
- nextSolution() - Method in class model.ArithmeticSolutionNode
-
Creates the next solution for the arithmetic expression of the node.
- nextSolution() - Method in class model.EqualSolutionNode
-
Creates the next solution for the equality of the node.
- nextSolution() - Method in class model.NotSolutionNode
-
Creates the next solution for the negative clause of the node.
- nextSolution() - Method in class model.SimpleSentenceSolutionNode
-
Creates the next solution for the simple sentence of the node.
- nodesCreated - Static variable in class model.AbstractSolutionNode
-
- Not - Class in model
-
This class represents negative clauses.
- Not(Clause) - Constructor for class model.Not
-
Constructor of the class.
- NotSolutionNode - Class in model
-
This class represents a negative node in the tree of proof.
- NotSolutionNode(Not, RuleSet, SubstitutionSet, AbstractSolutionNode) - Constructor for class model.NotSolutionNode
-
Constructor of the class.