See: Description
Interface | Description |
---|---|
Clause |
This interface represents a subdivision among the predicate expressions.
|
CycleState |
This is the interface to implement in order to add steps to the cycle.
|
PCExpression |
This interface represents the predicate expressions.
|
Unifiable |
This interface represents a subdivision among the predicate expressions.
|
Class | Description |
---|---|
AbstractOperator |
This class is the abstract class that gathers all the operator classes.
|
AbstractSolutionNode |
This class is the abstract class that gathers all the solution-node classes.
|
Action |
This class represents actions.
|
And |
This class represents and-clauses.
|
AndSolutionNode |
This class represents a and node in the tree of proof.
|
Arithmetic |
This class represents arithmetic expressions.
|
ArithmeticSolutionNode |
This class represents a arithmetic expression node in the tree of proof.
|
Constant |
This class represents constants or values.
|
CycleHandler |
Singleton class that handle the cycles of an LPS framework.
|
Database |
This is a singleton class that represents the database of the framework.
|
DatabaseUpdateState |
This class implements the
CycleState interface. |
DPostDeclaration |
This is an abstract class to represent the DPost declarations.
|
DSet |
This class represents the D set of the database.
|
Equal |
This class represents equal clauses.
|
EqualSolutionNode |
This class represents a equality node in the tree of proof.
|
FactSet |
This class represents the updatable part of the database.
|
FiringRulesState |
This class implements the
CycleState interface. |
Goal |
This class represents goals.
|
GoalSet |
This class represents the set where all goals are defined.
|
GoalsList |
This is a singleton class that represents the goals list of the framework.
|
Initiator |
This is the class that represents the initiators among the DPost
declarations.
|
Not |
This class represents negative clauses.
|
NotSolutionNode |
This class represents a negative node in the tree of proof.
|
ReactiveRule |
This class represents the reactive rules of a LPS framework.
|
ReactiveRuleSet |
This singleton class represents the set of all reactive rules of the LPS
framework.
|
Rule |
This class represents the rules of the table of truth.
|
RuleSet |
This class represents a table of truth.
|
SimpleSentence |
This class represents predicates.
|
SimpleSentenceSolutionNode |
This class represents a simple sentence node in the tree of proof.
|
SolvingGoalState |
This class implements the
CycleState interface. |
SubstitutionSet |
This class represents the bindings of different variables to unify to
expression or in the context of a solution to a clause.
|
Terminator |
This is the class that represents the terminators among the DPost
declarations.
|
Variable |
This class represents variables.
|
CycleHandler
is the master class that
actually runs the program and makes requests to the other classes.