Uses of Package
model

Packages that use model

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.

Classes in model used by controller

Class and Description
And This class represents and-clauses.
Clause This interface represents a subdivision among the predicate expressions.
Constant This class represents constants or values.
DPostDeclaration This is an abstract class to represent the DPost declarations.
Equal This class represents equal clauses.
Not This class represents negative clauses.
ReactiveRule This class represents the reactive rules of a LPS framework.
Rule This class represents the rules of the table of truth.
SimpleSentence This class represents predicates.
Variable This class represents variables.

Classes in model used by controller.syntax

Class and Description
Action This class represents actions.
Arithmetic This class represents arithmetic expressions.
Clause This interface represents a subdivision among the predicate expressions.
Constant This class represents constants or values.
DSet This class represents the D set of the database.
Equal This class represents equal clauses.
FactSet This class represents the updatable part of the database.
GoalSet This class represents the set where all goals are defined.
Initiator This is the class that represents the initiators among the DPost declarations.
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.
Terminator This is the class that represents the terminators among the DPost declarations.
Unifiable This interface represents a subdivision among the predicate expressions.
Variable This class represents variables.

Classes in model used by model

Class and 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.
Clause This interface represents a subdivision among the predicate expressions.
Constant This class represents constants or values.
CycleHandler Singleton class that handle the cycles of an LPS framework.
CycleState This is the interface to implement in order to add steps to the cycle.
Database This is a singleton class that represents the database of the framework.
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.
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.
PCExpression This interface represents the predicate expressions.
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.
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.
Unifiable This interface represents a subdivision among the predicate expressions.
Variable This class represents variables.