- set - Variable in class controller.syntax.JLPSSyntaxParser.d_return
-
- set - Variable in class controller.syntax.JLPSSyntaxParser.events_return
-
- set - Variable in class controller.syntax.JLPSSyntaxParser.goals_return
-
- set - Variable in class controller.syntax.JLPSSyntaxParser.lext_return
-
- set - Variable in class controller.syntax.JLPSSyntaxParser.lint_return
-
- set - Variable in class controller.syntax.JLPSSyntaxParser.reactiveRules_return
-
- setDeepestLeaf(AbstractSolutionNode) - Method in class model.AbstractSolutionNode
-
Sets the deepest leaf to the specified leaf.
- setdSet(DSet) - Method in class model.Database
-
Sets the domain theory of the database.
- setEvents(RuleSet) - Method in class model.CycleHandler
-
Sets the events/actions that have been decided to be performed during the
previous cycle.
- setExtensional(int) - Method in class model.RuleSet
-
Sets the position of the last extensional rule.
- setFactsDatabase(FactSet) - Method in class model.Database
-
Sets the facts of the database.
- setGoalsDefinitions(GoalSet) - Method in class model.GoalsList
-
Sets the goals definitions set.
- setIntensional(int) - Method in class model.RuleSet
-
Sets the position of the last intensional rule.
- setLimits(Map<String, Integer>) - Method in class model.Database
-
Sets the limits of the fluents and the actions.
- setOperands(List<Clause>) - Method in class model.AbstractOperator
-
Sets all the operands to the specified operands.
- setRulesDatabase(RuleSet) - Method in class model.Database
-
Sets the rules of the database.
- setState(CycleState) - Method in class model.CycleHandler
-
Sets the state from which the
CycleHandler will call the
handlerMethod
This allows states to terminate and send a request to the
CycleHandler to go to the specified and next state.
- setType(int) - Method in class model.SimpleSentenceSolutionNode
-
Sets the type of the specified rule.
- simpleSentence() - Method in class controller.syntax.JLPSSyntaxParser
-
- SimpleSentence - Class in model
-
This class represents predicates.
- SimpleSentence(Constant, Unifiable...) - Constructor for class model.SimpleSentence
-
Constructor of the class.
- SimpleSentence(List<Unifiable>) - Constructor for class model.SimpleSentence
-
Constructor of the class.
- SimpleSentenceSolutionNode - Class in model
-
This class represents a simple sentence node in the tree of proof.
- SimpleSentenceSolutionNode(SimpleSentence, RuleSet, SubstitutionSet, AbstractSolutionNode) - Constructor for class model.SimpleSentenceSolutionNode
-
Constructor of the class.
- solutionFlag - Variable in class model.ArithmeticSolutionNode
-
- solutionFlag - Variable in class model.NotSolutionNode
-
- solveGoal(Goal, RuleSet, RuleSet, RuleSet) - Method in class model.GoalsList
-
Solves the specified goal.
- solveGoals(RuleSet, RuleSet) - Method in class model.GoalsList
-
Solves all the goal in the list.
- solveGoals(RuleSet) - Method in class model.SolvingGoalState
-
Asks the GoalsList to solve the goals.
- SolvingGoalState - Class in model
-
This class implements the CycleState interface.
- SolvingGoalState() - Constructor for class model.SolvingGoalState
-
- standardizeVariablesApart(Hashtable<Variable, Variable>) - Method in class model.AbstractOperator
-
Standardizes the variables in order to be sure that there won't be any
variable clashes.
- standardizeVariablesApart(Hashtable<Variable, Variable>) - Method in class model.Arithmetic
-
Standardizes the variables in order to be sure that there won't be any
variable clashes.
- standardizeVariablesApart(Hashtable<Variable, Variable>) - Method in class model.Constant
-
Standardizes the variables in order to be sure that there won't be any
variable clashes.
- standardizeVariablesApart(Hashtable<Variable, Variable>) - Method in class model.Equal
-
Standardizes the variables in order to be sure that there won't be any
variable clashes.
- standardizeVariablesApart(Hashtable<Variable, Variable>) - Method in interface model.PCExpression
-
Standardizes the variables in order to be sure that there won't be any
variable clashes.
- standardizeVariablesApart(Hashtable<Variable, Variable>) - Method in class model.ReactiveRule
-
Standardizes the variables in order to be sure that there won't be any
variable clashes.
- standardizeVariablesApart(Hashtable<Variable, Variable>) - Method in class model.Rule
-
Standardizes the variables in order to be sure that there won't be any
variable clashes.
- standardizeVariablesApart(Hashtable<Variable, Variable>) - Method in class model.SimpleSentence
-
Standardizes the variables in order to be sure that there won't be any
variable clashes.
- standardizeVariablesApart(Hashtable<Variable, Variable>) - Method in class model.Variable
-
Standardizes the variables in order to be sure that there won't be any
variable clashes.
- stringToAnd(String, HashMap<String, Variable>) - Static method in class controller.Interpreter
-
Deprecated.
Converts the input string into a And object.
- stringToClause(String, HashMap<String, Variable>) - Static method in class controller.Interpreter
-
Deprecated.
Converts the input string into a Clause object.
- stringToConstant(String) - Static method in class controller.Interpreter
-
Deprecated.
Converts the input string into a Constant object.
- stringToDPost(String, HashMap<String, Variable>) - Static method in class controller.Interpreter
-
Deprecated.
Converts the input string into a DPostDeclaration object.
- stringToEquality(String, HashMap<String, Variable>) - Static method in class controller.Interpreter
-
Deprecated.
Converts the input string into a Equal object.
- stringToNegation(String, HashMap<String, Variable>) - Static method in class controller.Interpreter
-
Deprecated.
Converts the input string into a Not object.
- stringToReactiveRule(String, HashMap<String, Variable>) - Static method in class controller.Interpreter
-
Deprecated.
Converts the input string into a ReactiveRule object.
- stringToRule(String, HashMap<String, Variable>) - Static method in class controller.Interpreter
-
Deprecated.
Converts the input string into a Rule object.
- stringToSimpleSentence(String, HashMap<String, Variable>) - Static method in class controller.Interpreter
-
Deprecated.
Converts the input string into a SimpleSentence object.
- stringToVariable(String, HashMap<String, Variable>) - Static method in class controller.Interpreter
-
Deprecated.
Converts the input string into a Variable object.
- SubstitutionSet - Class in model
-
This class represents the bindings of different variables to unify to
expression or in the context of a solution to a clause.
- SubstitutionSet() - Constructor for class model.SubstitutionSet
-
Constructor of the class.
- SubstitutionSet(SubstitutionSet) - Constructor for class model.SubstitutionSet
-
Constructor of the class.
- SYMBOL - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- SYMBOL - Static variable in class controller.syntax.JLPSSyntaxParser
-
- symbol - Variable in class model.Arithmetic
-