model

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

Package model Description

This package is the model package of the model-view-controller (MVC) pattern. The core of the program is stored in this package. The class CycleHandler is the master class that actually runs the program and makes requests to the other classes.

Author:: Alexandre Camus