Specifies that the rule implementing this interface listens for the
on-resume-event. In detail:
- An instance of
_RegularRule
is resumed if the proof-search for
its last selected subgola succeeded.
- An instance of a
_BranchExistsRule
is resumed if the proof-search
for its last selected subgoal failed.
- An instance of a
_MetaBacktrackRule
is resumed if the
proof-search starting with tje lasr selected rule application failed.
When the rule is resumed the engine invokes the
onResumed()
method
before performing any other action.