- name() - Method in interface jtabwb.engine._AbstractRule
-
Returns the name of the rule
- name() - Method in class jtabwb.engine.ForceBranchFailure
-
- name() - Method in class jtabwb.engine.ForceBranchSuccess
-
- NAME - Static variable in class jtabwbx.problems.ILTPProblemReader
-
- NAME - Static variable in class jtabwbx.problems.JTabWbSimpleProblemReader
-
- NAME - Static variable in class jtabwbx.problems.PlainProblemReader
-
- NEC - Static variable in class jtabwbx.modal.parser.ModalWffLexer
-
- NEC - Static variable in class jtabwbx.modal.parser.ModalWffParser
-
- NegContext(ModalWffParser.WffContext) - Constructor for class jtabwbx.modal.parser.ModalWffParser.NegContext
-
- NegContext(FormulaParser.WffContext) - Constructor for class jtabwbx.prop.parser.FormulaParser.NegContext
-
- nextBranchExistsSubgoal() - Method in interface jtabwb.engine._BranchExistsRule
-
Returns the next subgoal of this rule.
- nextRule() - Method in interface jtabwb.engine._MetaBacktrackRule
-
Returns the next rule.
- nextRule(_AbstractGoal, IterationInfo) - Method in interface jtabwb.engine._Strategy
-
This is a call-back method invoked by the engine when it needs to determine
the rule to to apply to currentGoal
; doing this the engine
provides to the method as second argument a bunch of data describing the
last performed iteration.
- nextSubgoal() - Method in interface jtabwb.engine._RegularRule
-
Returns the next subgoal of this rule.
- NO_ARGUMENT_CAN_BE_NULL - Static variable in exception jtabwb.util.ImplementationError
-
- NoSuchBacktrackRuleException - Exception in jtabwb.engine
-
Specialised version of
NoSuchElementException
thrown by the
_MetaBacktrackRule.nextRule()
method to indicate that there are no
more backtrack rules.
- NoSuchBacktrackRuleException() - Constructor for exception jtabwb.engine.NoSuchBacktrackRuleException
-
- NoSuchBacktrackRuleException(String) - Constructor for exception jtabwb.engine.NoSuchBacktrackRuleException
-
- NoSuchSubgoalException - Exception in jtabwb.engine
-
- NoSuchSubgoalException() - Constructor for exception jtabwb.engine.NoSuchSubgoalException
-
Constructs a NoSuchConclusionException
with null
as its error message string.
- NoSuchSubgoalException(String) - Constructor for exception jtabwb.engine.NoSuchSubgoalException
-
Constructs a NoSuchConclusionException
, saving a reference to
the error message string str
for later retrieval by the
Throwable.getMessage()
.
- NoSuchSubgoalException(int) - Constructor for exception jtabwb.engine.NoSuchSubgoalException
-
Constructs a NoSuchConclusionException
, saving a reference to
the error message string "Undefined branch: i"
where
i
is the specified integer, for later retrieval by the
Throwable.getMessage()
.
- NOT - Static variable in class jtabwbx.modal.parser.ModalWffLexer
-
- NOT - Static variable in class jtabwbx.modal.parser.ModalWffParser
-
- NOT - Static variable in class jtabwbx.prop.parser.FormulaLexer
-
- NOT - Static variable in class jtabwbx.prop.parser.FormulaParser
-
- numberOfBranchExistsSubgoals() - Method in interface jtabwb.engine._BranchExistsRule
-
Returns the number of subgoals of this rule application.
- numberOfChildren() - Method in class jtabwb.tracesupport.ChildrenWithCtreeNodes
-
- numberOfGeneratedFormulas() - Method in class jtabwbx.modal.formula.ModalFormulaFactory
-
The number of distinct formulas generated by this factory.
- numberOfGeneratedFormulas() - Method in class jtabwbx.prop.formula.FormulaFactory
-
The number of distinct formulas generated by this factory.
- numberOfSubgoals() - Method in interface jtabwb.engine._RegularRule
-
Returns the number of subgoals of this rule.