| 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.
|