Uses of Class
model.Arithmetic

Packages that use Arithmetic

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

Uses of Arithmetic in controller.syntax

Methods in controller.syntax that return Arithmetic

Modifier and Type	Method and Description
Arithmetic	JLPSSyntaxParser.arithmetic()

Uses of Arithmetic in model

Methods in model that return Arithmetic

Modifier and Type	Method and Description
Arithmetic	Arithmetic.replaceVariables(SubstitutionSet s) Replaces all the variables in the arithmetic expression according to the specified bindings.
Arithmetic	Arithmetic.standardizeVariablesApart(Hashtable<Variable,Variable> newVars) Standardizes the variables in order to be sure that there won't be any variable clashes.

Constructors in model with parameters of type Arithmetic

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