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.
|
Modifier and Type | Method and Description |
---|---|
static SimpleSentence |
Interpreter.stringToSimpleSentence(String string,
HashMap<String,Variable> variables)
Deprecated.
Converts the input string into a
SimpleSentence object. |
Modifier and Type | Method and Description |
---|---|
SimpleSentence |
JLPSSyntaxParser.fluent() |
SimpleSentence |
JLPSSyntaxParser.simpleSentence() |
Modifier and Type | Field and Description |
---|---|
private SimpleSentence |
Action.action |
protected SimpleSentence |
DPostDeclaration.event |
protected SimpleSentence |
DPostDeclaration.fluent |
private SimpleSentence |
ReactiveRule.goal |
private SimpleSentence |
Goal.goal |
private SimpleSentence |
Rule.head |
Modifier and Type | Field and Description |
---|---|
private Map<String,List<SimpleSentence>> |
FactSet.facts |
Modifier and Type | Method and Description |
---|---|
SimpleSentence |
DPostDeclaration.getEvent()
Gets the event of the declaration.
|
SimpleSentence |
DPostDeclaration.getFluent()
Gets the fluent of the declaration.
|
SimpleSentence |
Goal.getGoal()
Gets the predicate form of the goal.
|
SimpleSentence |
DPostDeclaration.getGroundFluent(SimpleSentence event,
RuleSet rules)
Gets the bound fluent according to the bindings of the specified event.
|
SimpleSentence |
Rule.getHead()
Gets the head of the rule.
|
SimpleSentence |
Action.getPredicate()
Gets the predicate representing the action.
|
SimpleSentence |
SimpleSentence.replaceVariables(SubstitutionSet s)
Replaces all the variables in the simple sentence according to the
specified bindings.
|
SimpleSentence |
SimpleSentence.standardizeVariablesApart(Hashtable<Variable,Variable> newVars)
Standardizes the variables in order to be sure that there won't be any
variable clashes.
|
Modifier and Type | Method and Description |
---|---|
List<SimpleSentence> |
ReactiveRule.fireRule(RuleSet database)
Fires the goals of the rule.
|
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.
|
List<SimpleSentence> |
FactSet.getFact(String name)
Gets the facts corresponding to the name of the parameter.
|
Map<String,List<SimpleSentence>> |
FactSet.getFacts()
Gets the facts.
|
Modifier and Type | Method and Description |
---|---|
boolean |
Action.actionsAllowed(SimpleSentence event,
RuleSet rulesAndEvents,
RuleSet rulesAndNextEvents)
Checks if the action can be performed.
|
void |
FactSet.addFact(SimpleSentence fact)
Adds the specified fact to the set, if the fact is not already true
according to the method
isTrue() . |
void |
GoalsList.addGoal(SimpleSentence goal,
RuleSet ruleSet)
Adds the specified goal to the list of goals.
|
void |
GoalsList.addNextEvent(SimpleSentence event)
Adds the specified event to the list of events that will be performed
during the next cycle.
|
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.
|
Constructor and Description |
---|
Action(SimpleSentence action,
List<Initiator> initiators,
List<Terminator> terminators,
Clause conditions,
Clause conflicts)
Constructor of the class.
|
DPostDeclaration(SimpleSentence event,
SimpleSentence fluent)
Constructor of the object.
|
DPostDeclaration(SimpleSentence event,
SimpleSentence fluent,
Clause body)
Constructor of the object.
|
FactSet(SimpleSentence... facts)
Constructor of the class.
|
Goal(Goal genericGoal,
SimpleSentence goal)
Constructor of the class
|
Goal(SimpleSentence goal,
RuleSet definitions)
Constructor of the class
|
Initiator(SimpleSentence event,
SimpleSentence fluent)
Constructor of the class.
|
Initiator(SimpleSentence event,
SimpleSentence fluent,
Clause body)
Constructor of the class.
|
ReactiveRule(Clause conditions,
SimpleSentence goal)
Constructor of the class.
|
Rule(SimpleSentence head)
Constructor of the class in case of a simple fact.
|
Rule(SimpleSentence head,
Clause body)
Constructor of the class in case of a backtracking rule.
|
SimpleSentenceSolutionNode(SimpleSentence clause,
RuleSet rules,
SubstitutionSet parentSolution,
AbstractSolutionNode parentNode)
Constructor of the class.
|
Terminator(SimpleSentence event,
SimpleSentence fluent)
Constructor of the class.
|
Terminator(SimpleSentence event,
SimpleSentence fluent,
Clause body)
Constructor of the class.
|
Constructor and Description |
---|
FactSet(Map<String,List<SimpleSentence>> facts)
Constructor of the class.
|