- AbstractOperator - Class in model
-
This class is the abstract class that gathers all the operator classes.
- AbstractOperator(Clause...) - Constructor for class model.AbstractOperator
-
Constructor of the class.
- AbstractOperator(List<Clause>) - Constructor for class model.AbstractOperator
-
Constructor of the class.
- AbstractSolutionNode - Class in model
-
This class is the abstract class that gathers all the solution-node classes.
- AbstractSolutionNode(Clause, RuleSet, SubstitutionSet, AbstractSolutionNode) - Constructor for class model.AbstractSolutionNode
-
Constructor of the class.
- action() - Method in class controller.syntax.JLPSSyntaxParser
-
- action - Variable in class controller.syntax.JLPSSyntaxParser.action_return
-
- Action - Class in model
-
This class represents actions.
- Action(SimpleSentence, List<Initiator>, List<Terminator>, Clause, Clause) - Constructor for class model.Action
-
Constructor of the class.
- action - Variable in class model.Action
-
- actionName - Variable in class controller.syntax.JLPSSyntaxParser.action_return
-
- actions - Variable in class controller.syntax.JLPSSyntaxParser.d_return
-
- actions - Variable in class controller.syntax.JLPSSyntaxParser.file_return
-
- actions - Variable in class model.DSet
-
- actions - Variable in class model.ReactiveRule
-
- actionsAllowed(SimpleSentence, RuleSet, RuleSet) - Method in class model.Action
-
Checks if the action can be performed.
- add(Variable, Unifiable) - Method in class model.SubstitutionSet
-
Adds the specified binding to the substitution set.
- addAction(Action) - Method in class model.DSet
-
Adds the specified action to the set.
- addDefinition(Rule) - Method in class model.Goal
-
Adds the specified rule-definition to the goal's definitions.
- addDefinition(Rule) - Method in class model.GoalSet
-
Adds the specified definition to the right goal or creates it if needed.
- addEvent(Rule) - Method in class model.CycleHandler
-
Adds the specified event/action to the events set.
- addFact(SimpleSentence) - Method in class model.FactSet
-
Adds the specified fact to the set, if the fact is not already true
according to the method
isTrue().
- addGoal(SimpleSentence, RuleSet) - Method in class model.GoalsList
-
Adds the specified goal to the list of goals.
- addNextEvent(SimpleSentence) - Method in class model.GoalsList
-
Adds the specified event to the list of events that will be performed
during the next cycle.
- addRule(ReactiveRule) - Method in class model.ReactiveRuleSet
-
Adds the specified reactive rule.
- addRule(Rule) - Method in class model.RuleSet
-
Adds the specified rule.
- addRules(List<Rule>) - Method in class model.RuleSet
-
Adds all the rules that are in the specified List.
- addRulesDatabase(List<Rule>) - Method in class model.Database
-
Adds rules to the database.
- and() - Method in class controller.syntax.JLPSSyntaxParser
-
- And - Class in model
-
This class represents and-clauses.
- And(Clause...) - Constructor for class model.And
-
Constructor of the class.
- And(List<Clause>) - Constructor for class model.And
-
Constructor of the class.
- AndSolutionNode - Class in model
-
This class represents a and node in the tree of proof.
- AndSolutionNode(And, RuleSet, SubstitutionSet, AbstractSolutionNode) - Constructor for class model.AndSolutionNode
-
Constructor of the class.
- arithmetic() - Method in class controller.syntax.JLPSSyntaxParser
-
- Arithmetic - Class in model
-
This class represents arithmetic expressions.
- Arithmetic(Unifiable, String, Unifiable) - Constructor for class model.Arithmetic
-
Constructor of the class
- ArithmeticSolutionNode - Class in model
-
This class represents a arithmetic expression node in the tree of proof.
- ArithmeticSolutionNode(Arithmetic, RuleSet, SubstitutionSet, AbstractSolutionNode) - Constructor for class model.ArithmeticSolutionNode
-
Constructor of the class.