- d() - Method in class controller.syntax.JLPSSyntaxParser
-
- database() - Method in class controller.syntax.JLPSSyntaxParser
-
- Database - Class in model
-
This is a singleton class that represents the database of the framework.
- Database() - Constructor for class model.Database
-
Constructor of the class.
- DatabaseUpdateState - Class in model
-
This class implements the CycleState interface.
- DatabaseUpdateState() - Constructor for class model.DatabaseUpdateState
-
Empty constructor of the class.
- deepestLeaf - Variable in class model.AbstractSolutionNode
-
- definitions - Variable in class model.Goal
-
- dfa7 - Variable in class controller.syntax.JLPSSyntaxLexer
-
- DFA7_accept - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- DFA7_acceptS - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- DFA7_eof - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- DFA7_eofS - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- DFA7_eot - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- DFA7_eotS - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- DFA7_max - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- DFA7_maxS - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- DFA7_min - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- DFA7_minS - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- DFA7_special - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- DFA7_specialS - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- DFA7_transition - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- DFA7_transitionS - Static variable in class controller.syntax.JLPSSyntaxLexer
-
- DPostDeclaration - Class in model
-
This is an abstract class to represent the DPost declarations.
- DPostDeclaration(SimpleSentence, SimpleSentence) - Constructor for class model.DPostDeclaration
-
Constructor of the object.
- DPostDeclaration(SimpleSentence, SimpleSentence, Clause) - Constructor for class model.DPostDeclaration
-
Constructor of the object.
- dSet - Variable in class model.Database
-
- DSet - Class in model
-
This class represents the D set of the database.
- DSet(Action...) - Constructor for class model.DSet
-
Constructor of the class.
- DSet(List<Action>) - Constructor for class model.DSet
-
Constructor of the class.