Package | Description |
---|---|
controller |
This package is the controller package of the model-view-controller
(MVC) pattern.
|
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.
|
Modifier and Type | Method and Description |
---|---|
static Equal |
Interpreter.stringToEquality(String string,
HashMap<String,Variable> variables)
Deprecated.
Converts the input string into a
Equal object. |
Modifier and Type | Method and Description |
---|---|
Equal |
JLPSSyntaxParser.equal() |
Modifier and Type | Method and Description |
---|---|
Equal |
Equal.replaceVariables(SubstitutionSet s)
Replaces all the variables in the equal clause according to the
specified bindings.
|
Equal |
Equal.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
Constructor and Description |
---|
EqualSolutionNode(Equal clause,
RuleSet rules,
SubstitutionSet parentSolution,
AbstractSolutionNode parentNode)
Constructor of the class.
|