Package | Description |
---|---|
model |
This package is the model package of the model-view-controller
(MVC) pattern.
|
Modifier and Type | Interface and Description |
---|---|
interface |
Clause
This interface represents a subdivision among the predicate expressions.
|
interface |
Unifiable
This interface represents a subdivision among the predicate expressions.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractOperator
This class is the abstract class that gathers all the operator classes.
|
class |
And
This class represents and-clauses.
|
class |
Arithmetic
This class represents arithmetic expressions.
|
class |
Constant
This class represents constants or values.
|
class |
Equal
This class represents equal clauses.
|
class |
Not
This class represents negative clauses.
|
class |
ReactiveRule
This class represents the reactive rules of a LPS framework.
|
class |
Rule
This class represents the rules of the table of truth.
|
class |
SimpleSentence
This class represents predicates.
|
class |
Variable
This class represents variables.
|
Modifier and Type | Method and Description |
---|---|
PCExpression |
Variable.replaceVariables(SubstitutionSet s)
Replaces all the variables in the variable according to the specified
bindings.
|
PCExpression |
PCExpression.replaceVariables(SubstitutionSet s)
Replaces all the variables in the predicate expression according to the
specified bindings.
|
PCExpression |
PCExpression.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|