ui
Interface FormulaDialogListener

public interface FormulaDialogListener

FormulaDIalogListener

This interface is used to listen to event launched from within the formula dialog.

Copyright(c) 2005 Université Laval, LSFM research group.

Version:

1.0

Author:

Frédérick Lemay

Method Summary

void	GetAllStatesVerifying(Formula formula) This event is fired upon a request of a verification from all of the state set of the system.
void	VerifyInitialState(Formula formula) This event is fired upon a request of a verification from the initial state

Method Detail

VerifyInitialState

void VerifyInitialState(Formula formula)

This event is fired upon a request of a verification from the initial state

Parameters:

formula - the formula to be verified

GetAllStatesVerifying

void GetAllStatesVerifying(Formula formula)

This event is fired upon a request of a verification from all of the state set of the system.

Parameters:

formula - the formula to be verified