public interface _OnRuleCompletedListener extends _AbstractRule
onCompleted(ProofSearchResult)
method is invoked with such a
proof-search status as argument.Modifier and Type | Method and Description |
---|---|
void |
onCompleted(ProofSearchResult status)
Invoked by the engine when the proof-search starting with this rule
application terminates.
|
name
void onCompleted(ProofSearchResult status)
status
- the status of the proof search.