Skip navigation links
A B C D E F G H I J L M N O P R S T V W _ 

N

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
Specialised version of NoSuchElementException thrown by the _RegularRule.nextSubgoal() and _BranchExistsRule.nextBranchExistsSubgoal() to to indicate that there are no more subgoal returned by the rule.
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.
A B C D E F G H I J L M N O P R S T V W _ 
Skip navigation links