Package | Description |
---|---|
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.
|
Modifier and Type | Field and Description |
---|---|
RuleSet |
JLPSSyntaxParser.lint_return.set |
RuleSet |
JLPSSyntaxParser.events_return.set |
Modifier and Type | Field and Description |
---|---|
private RuleSet |
Goal.definitions |
private RuleSet |
CycleHandler.events |
private RuleSet |
GoalsList.nextEvents |
private RuleSet |
AbstractSolutionNode.rules |
private RuleSet |
Database.rulesDatabase |
Modifier and Type | Method and Description |
---|---|
RuleSet |
CycleHandler.getEvents()
Gets the events/actions that have been decided to be performed during the
previous cycle.
|
RuleSet |
Database.getRuleSet()
Creates a
RuleSet object that represents the state of the entire
database (intensional and extensional). |
RuleSet |
AbstractSolutionNode.getRuleSet()
Gets the context rules of the tree.
|
RuleSet |
FactSet.toRuleSet()
Creates a
RuleSet object containing the facts as its rules. |
Modifier and Type | Method and Description |
---|---|
boolean |
Action.actionsAllowed(SimpleSentence event,
RuleSet rulesAndEvents,
RuleSet rulesAndNextEvents)
Checks if the action can be performed.
|
void |
GoalsList.addGoal(SimpleSentence goal,
RuleSet ruleSet)
Adds the specified goal to the list of goals.
|
private boolean |
GoalsList.backtrack(AbstractSolutionNode leaf,
Goal goal,
RuleSet rulesAndEvents,
RuleSet ruleSet,
RuleSet events) |
List<SimpleSentence> |
ReactiveRule.fireRule(RuleSet database)
Fires the goals of the rule.
|
private void |
FiringRulesState.fireRules(RuleSet events)
This is the private action of the state.
|
List<SimpleSentence> |
ReactiveRuleSet.fireRules(RuleSet ruleSet,
List<String> events)
Fires all the reactive rules it contains thanks to there own
fireRule() method. |
List<SimpleSentence> |
Action.fluentsToInitiate(SimpleSentence event,
RuleSet rules)
Gets all the fluents that will be initiated.
|
List<SimpleSentence> |
Action.fluentsToTerminate(SimpleSentence event,
RuleSet rules)
Gets all the fluents that will be terminated.
|
SimpleSentence |
DPostDeclaration.getGroundFluent(SimpleSentence event,
RuleSet rules)
Gets the bound fluent according to the bindings of the specified event.
|
SimpleSentenceSolutionNode |
SimpleSentence.getSolver(RuleSet rules,
SubstitutionSet parentSolution,
AbstractSolutionNode parentNode)
Creates a solver which is a node in the tree proof.
|
NotSolutionNode |
Not.getSolver(RuleSet rules,
SubstitutionSet parentSolution,
AbstractSolutionNode parentNode)
Creates a solver which is a node in the tree proof.
|
EqualSolutionNode |
Equal.getSolver(RuleSet rules,
SubstitutionSet parentSolution,
AbstractSolutionNode parentNode)
Creates a solver which is a node in the tree proof.
|
AbstractSolutionNode |
Clause.getSolver(RuleSet rules,
SubstitutionSet parentSolution,
AbstractSolutionNode parentNode)
Creates a solver which is a node in the tree proof.
|
ArithmeticSolutionNode |
Arithmetic.getSolver(RuleSet rules,
SubstitutionSet parentSolution,
AbstractSolutionNode parentNode)
Creates a solver which is a node in the tree proof.
|
AndSolutionNode |
And.getSolver(RuleSet rules,
SubstitutionSet parentSolution,
AbstractSolutionNode parentNode)
Creates a solver which is a node in the tree proof.
|
void |
SolvingGoalState.handlerMethod(CycleHandler STATE_CONTEXT,
String NAME,
RuleSet events)
This is the implementation of the
CycleState#handlerMethod() . |
void |
FiringRulesState.handlerMethod(CycleHandler STATE_CONTEXT,
String NAME,
RuleSet events)
This is the implementation of the
CycleState#handlerMethod() . |
void |
DatabaseUpdateState.handlerMethod(CycleHandler STATE_CONTEXT,
String NAME,
RuleSet events)
This is the implementation of the
CycleState#handlerMethod() . |
void |
CycleState.handlerMethod(CycleHandler STATE_CONTEXT,
String NAME,
RuleSet events)
Sends the request to the current state to operate its behavior.
|
protected void |
SimpleSentenceSolutionNode.reset(SubstitutionSet newParentSolution,
RuleSet newRuleSet)
Resets the subtree to the new state of the database and resets all the
counters that prevent from infinite evaluation of the node.
|
protected void |
NotSolutionNode.reset(SubstitutionSet newParentSolution,
RuleSet newRuleSet)
Resets the subtree to the new state of the database and resets all the
counters that prevent from infinite evaluation of the node.
|
protected void |
ArithmeticSolutionNode.reset(SubstitutionSet newParentSolution,
RuleSet newRuleSet)
Resets the subtree to the new state of the database and resets all the
counters that prevent from infinite evaluation of the node.
|
protected void |
AndSolutionNode.reset(SubstitutionSet newParentSolution,
RuleSet newRuleSet)
Resets the subtree to the new state of the database and resets all the
counters that prevent from infinite evaluation of the node.
|
protected void |
AbstractSolutionNode.reset(SubstitutionSet newParentSolution,
RuleSet newRuleSet)
Resets the subtree to the new state of the database and resets all the
counters that prevent from infinite evaluation of the node.
|
void |
CycleHandler.setEvents(RuleSet events)
Sets the events/actions that have been decided to be performed during the
previous cycle.
|
void |
Database.setRulesDatabase(RuleSet rulesDatabase)
Sets the rules of the database.
|
boolean |
GoalsList.solveGoal(Goal goal,
RuleSet ruleSet,
RuleSet events,
RuleSet rulesAndEvents)
Solves the specified goal.
|
private void |
SolvingGoalState.solveGoals(RuleSet events)
Asks the
GoalsList to solve the goals. |
void |
GoalsList.solveGoals(RuleSet ruleSet,
RuleSet events)
Solves all the goal in the list.
|
private void |
DatabaseUpdateState.updates(RuleSet events)
This is the private action of the state.
|
void |
Database.updates(RuleSet events)
Updates the database when the step cycle asks so.
|
Constructor and Description |
---|
AbstractSolutionNode(Clause clause,
RuleSet rules,
SubstitutionSet parentSolution,
AbstractSolutionNode parentNode)
Constructor of the class.
|
AndSolutionNode(And clause,
RuleSet rules,
SubstitutionSet parentSolution,
AbstractSolutionNode parentNode)
Constructor of the class.
|
ArithmeticSolutionNode(Arithmetic clause,
RuleSet rules,
SubstitutionSet parentSolution,
AbstractSolutionNode parentNode)
Constructor of the class.
|
EqualSolutionNode(Equal clause,
RuleSet rules,
SubstitutionSet parentSolution,
AbstractSolutionNode parentNode)
Constructor of the class.
|
Goal(SimpleSentence goal,
RuleSet definitions)
Constructor of the class
|
NotSolutionNode(Not clause,
RuleSet rules,
SubstitutionSet parentSolution,
AbstractSolutionNode parentNode)
Constructor of the class.
|
SimpleSentenceSolutionNode(SimpleSentence clause,
RuleSet rules,
SubstitutionSet parentSolution,
AbstractSolutionNode parentNode)
Constructor of the class.
|