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 Variable |
Interpreter.stringToVariable(String string,
HashMap<String,Variable> variables)
Deprecated.
Converts the input string into a
Variable object. |
Modifier and Type | Method and Description |
---|---|
static And |
Interpreter.stringToAnd(String string,
HashMap<String,Variable> variables)
Deprecated.
Converts the input string into a
And object. |
static Clause |
Interpreter.stringToClause(String string,
HashMap<String,Variable> variables)
Deprecated.
Converts the input string into a
Clause object. |
static DPostDeclaration |
Interpreter.stringToDPost(String string,
HashMap<String,Variable> variables)
Deprecated.
Converts the input string into a
DPostDeclaration object. |
static Equal |
Interpreter.stringToEquality(String string,
HashMap<String,Variable> variables)
Deprecated.
Converts the input string into a
Equal object. |
static Not |
Interpreter.stringToNegation(String string,
HashMap<String,Variable> variables)
Deprecated.
Converts the input string into a
Not object. |
static ReactiveRule |
Interpreter.stringToReactiveRule(String string,
HashMap<String,Variable> variables)
Deprecated.
Converts the input string into a
ReactiveRule object. |
static Rule |
Interpreter.stringToRule(String string,
HashMap<String,Variable> variables)
Deprecated.
Converts the input string into a
Rule object. |
static SimpleSentence |
Interpreter.stringToSimpleSentence(String string,
HashMap<String,Variable> variables)
Deprecated.
Converts the input string into a
SimpleSentence object. |
static Variable |
Interpreter.stringToVariable(String string,
HashMap<String,Variable> variables)
Deprecated.
Converts the input string into a
Variable object. |
Modifier and Type | Field and Description |
---|---|
(package private) HashMap<String,Variable> |
JLPSSyntaxParser.variables |
Modifier and Type | Method and Description |
---|---|
Variable |
JLPSSyntaxParser.variable() |
Modifier and Type | Field and Description |
---|---|
private Map<Variable,Unifiable> |
SubstitutionSet.bindings |
Modifier and Type | Method and Description |
---|---|
Variable |
Variable.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
Modifier and Type | Method and Description |
---|---|
void |
SubstitutionSet.add(Variable v,
Unifiable expr)
Adds the specified binding to the substitution set.
|
Unifiable |
SubstitutionSet.getBinding(Variable v)
Gets the binding of the specified variable.
|
boolean |
SubstitutionSet.isBound(Variable v)
Checks if the specified variable has a binding.
|
Modifier and Type | Method and Description |
---|---|
Variable |
Variable.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
Variable |
Variable.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
SimpleSentence |
SimpleSentence.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
SimpleSentence |
SimpleSentence.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
Rule |
Rule.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
Rule |
Rule.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
ReactiveRule |
ReactiveRule.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
ReactiveRule |
ReactiveRule.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
PCExpression |
PCExpression.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
PCExpression |
PCExpression.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
Equal |
Equal.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
Equal |
Equal.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
Constant |
Constant.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
Constant |
Constant.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
Arithmetic |
Arithmetic.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
Arithmetic |
Arithmetic.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
AbstractOperator |
AbstractOperator.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
AbstractOperator |
AbstractOperator.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
Constructor and Description |
---|
Variable(Variable v)
Constructor of the class.
|