- T__10 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__10 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__11 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__11 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__12 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__12 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__13 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__13 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__14 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__14 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__15 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__15 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__16 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__16 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__17 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__17 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__18 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__18 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__19 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__19 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__20 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__20 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__21 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__21 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__22 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__22 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__23 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__23 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__24 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__24 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__25 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__25 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__26 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__26 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__27 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__27 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__28 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__28 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__29 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__29 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__30 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__30 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__31 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__31 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__32 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__32 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__33 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__33 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__34 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__34 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__35 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__35 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__36 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__36 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__37 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__37 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__38 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__38 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__39 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__39 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__40 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__40 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__41 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__41 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__42 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__42 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__43 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__43 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__44 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__44 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__45 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__45 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__46 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__46 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__47 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__47 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__48 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__48 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__49 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__49 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__50 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__50 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__51 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__51 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__52 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__52 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__53 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__53 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__54 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__54 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__55 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__55 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__56 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__56 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__57 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__57 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__58 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__58 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__59 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__59 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__60 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__60 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__61 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__61 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- T__62 - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- T__62 - Static variable in class controller.syntax.JLPSSyntaxParser
-
- tailSolutionNode - Variable in class model.AndSolutionNode
-
- tailSolutionNode - Variable in class model.NotSolutionNode
-
- term() - Method in class controller.syntax.JLPSSyntaxParser
-
- terminator() - Method in class controller.syntax.JLPSSyntaxParser
-
- terminator - Variable in class controller.syntax.JLPSSyntaxParser.terminator_return
-
- Terminator - Class in model
-
This is the class that represents the terminators among the DPost
declarations.
- Terminator(SimpleSentence, SimpleSentence) - Constructor for class model.Terminator
-
Constructor of the class.
- Terminator(SimpleSentence, SimpleSentence, Clause) - Constructor for class model.Terminator
-
Constructor of the class.
- terminators - Variable in class controller.syntax.JLPSSyntaxParser.postconditions_return
-
- terminators - Variable in class model.Action
-
- terms - Variable in class model.SimpleSentence
-
- tokenNames - Static variable in class controller.syntax.JLPSSyntaxParser
-
- toRuleSet() - Method in class model.FactSet
-
Creates a RuleSet object containing the facts as its rules.
- toString() - Method in class model.Action
-
Returns the action under the form of:
"if (conditions + conflicts) actionName=[[initiators], [terminators]]"
- toString() - Method in class model.And
-
Returns the and-clause under the form of:
"operand1 & operand2 & ...".
- toString() - Method in class model.Arithmetic
-
Returns the arithmetic expression under the form of:
"operand1 'symbol' operand2".
- toString() - Method in class model.Constant
-
Returns the constant under the form of:
"constantName_id".
- toString() - Method in class model.Database
-
Returns the database under the form of:
"
DB:
Facts: { }
Rules: {
}
".
- toString() - Method in class model.DSet
-
Returns the set in the form of:
"D set:
{
Action.toString()
Action.toString()
}
- toString() - Method in class model.Equal
-
Returns the equal clause under the form of:
"operand1 == operand2".
- toString() - Method in class model.FactSet
-
Returns the set in the form of:
"Facts: {factName=[factsOfThisName], otherName=[othersFacts]}".
- toString() - Method in class model.Goal
-
Returns the goal under the form of:
"{
goal :- def1.
- toString() - Method in class model.GoalSet
-
Returns the set in the form of:
"Goals set:
{
Goal.toString()
Goal.toString()
}
- toString() - Method in class model.GoalsList
-
Returns the set in the form of:
"{
[definitionChosen] => [currentNode]
}".
- toString() - Method in class model.Initiator
-
Returns the initiator in the form of:
"initiates(event, fluent)".
- toString() - Method in class model.Not
-
Returns the negative clause under the form of:
"!
- toString() - Method in class model.ReactiveRule
-
Returns the reactive rule in the form of:
"(conditions) -> goal".
- toString() - Method in class model.ReactiveRuleSet
-
Returns the set in the form of:
"Reactive rules: [(conditions) -> goal, (conditions) -> goal, ...]".
- toString() - Method in class model.Rule
-
Returns the rule in the form of:
"head :- body".
- toString() - Method in class model.RuleSet
-
Returns the set in the form of:
"{
rule1
rule2
...
}".
- toString() - Method in class model.SimpleSentence
-
Returns the simple sentence under the form of:
"predicateName(parameter1, parameter2, ...)".
- toString() - Method in class model.SubstitutionSet
-
Returns the substitution set in the form of:
"Bindings: [variable=[expression], variable=[expression], ...]".
- toString() - Method in class model.Terminator
-
Returns the terminator in the form of:
"terminates(event, fluent)".
- toString() - Method in class model.Variable
-
Returns the variable under the form of:
"variableName_id".
- truth() - Method in class controller.syntax.JLPSSyntaxParser
-
- type - Variable in class model.SimpleSentenceSolutionNode
-