jtabwb.engine

Interface _OnRuleCompletedListener

All Superinterfaces:

_AbstractRule

public interface _OnRuleCompletedListener
extends _AbstractRule

Specifies that the rule implementing this interface listens for the on-rule-completed event. A rule is completed when the proof-search procedure has determined the proof-search status of its goal. When this happens the onCompleted(ProofSearchResult) method is invoked with such a proof-search status as argument.

Author:

Mauro Ferrari

Method Summary

Modifier and Type	Method and Description
void	onCompleted(ProofSearchResult status) Invoked by the engine when the proof-search starting with this rule application terminates.

Methods inherited from interface jtabwb.engine._AbstractRule

name

Method Detail

onCompleted

void onCompleted(ProofSearchResult status)

Invoked by the engine when the proof-search starting with this rule application terminates.

Parameters:

status - the status of the proof search.