- id - Variable in class model.Constant
-
- id - Variable in class model.Variable
-
- initiator() - Method in class controller.syntax.JLPSSyntaxParser
-
- initiator - Variable in class controller.syntax.JLPSSyntaxParser.initiator_return
-
- Initiator - Class in model
-
This is the class that represents the initiators among the DPost
declarations.
- Initiator(SimpleSentence, SimpleSentence) - Constructor for class model.Initiator
-
Constructor of the class.
- Initiator(SimpleSentence, SimpleSentence, Clause) - Constructor for class model.Initiator
-
Constructor of the class.
- initiators - Variable in class controller.syntax.JLPSSyntaxParser.postconditions_return
-
- initiators - Variable in class model.Action
-
- instance - Static variable in class model.CycleHandler
-
- instance - Static variable in class model.Database
-
- instance - Static variable in class model.GoalsList
-
- instance - Static variable in class model.ReactiveRuleSet
-
- intensional - Variable in class model.RuleSet
-
- Interpreter - Class in controller
-
Deprecated.
- Interpreter() - Constructor for class controller.Interpreter
-
Deprecated.
- isAnd(String) - Static method in class controller.Interpreter
-
Deprecated.
Checks whether the input string matches an and-clause.
- isBound(Variable) - Method in class model.SubstitutionSet
-
Checks if the specified variable has a binding.
- isConstant(String) - Static method in class controller.Interpreter
-
Deprecated.
Checks whether the input string matches the constant pattern.
- isDPostDeclaration(String) - Static method in class controller.Interpreter
-
Deprecated.
Checks whether the input string matches the DPost declaration pattern.
- isEmpty() - Method in class model.AbstractOperator
-
Checks if the operator has operands or not.
- isEquality(String) - Static method in class controller.Interpreter
-
Deprecated.
Checks whether the input string matches an equality clause.
- isMatched - Variable in class model.SimpleSentence
-
- isMatched() - Method in class model.SimpleSentence
-
Checks whether the name of the simple sentence matches so far a rule in
the database.
- isNegation(String) - Static method in class controller.Interpreter
-
Deprecated.
Checks whether the input string matches an negative clause.
- isReactiveRule(String) - Static method in class controller.Interpreter
-
Deprecated.
Checks whether the input string matches a reactive rule.
- isRule(String) - Static method in class controller.Interpreter
-
Deprecated.
Checks whether the input string matches a rule.
- isSimpleSentence(String) - Static method in class controller.Interpreter
-
Deprecated.
Checks whether the input string matches the simple sentence pattern.
- isTrue(Unifiable) - Method in class model.FactSet
-
Checks if the specified fact can be made true in the set.
- isVariable(String) - Static method in class controller.Interpreter
-
Deprecated.
Checks whether the input string matches the variable pattern.