Uses of Class
jtabwb.engine.NoSuchBacktrackRuleException

Packages that use NoSuchBacktrackRuleException

Package	Description
jtabwb.engine	Main classes implementing the engine; it specifies the interfaces with the user defined prover.

Uses of NoSuchBacktrackRuleException in jtabwb.engine

Methods in jtabwb.engine that throw NoSuchBacktrackRuleException

Modifier and Type	Method and Description
_AbstractRule	_MetaBacktrackRule.nextRule() Returns the next rule.