model

Interfaces

• Clause
• CycleState
• PCExpression
• Unifiable

Classes

• AbstractOperator
• AbstractSolutionNode
• Action
• And
• AndSolutionNode
• Arithmetic
• ArithmeticSolutionNode
• Constant
• CycleHandler
• Database
• DatabaseUpdateState
• DPostDeclaration
• DSet
• Equal
• EqualSolutionNode
• FactSet
• FiringRulesState
• Goal
• GoalSet
• GoalsList
• Initiator
• Not
• NotSolutionNode
• ReactiveRule
• ReactiveRuleSet
• Rule
• RuleSet
• SimpleSentence
• SimpleSentenceSolutionNode
• SolvingGoalState
• SubstitutionSet
• Terminator
• Variable