engin.event
Interface EnginListener

public interface EnginListener

Engin Listener

This interface is used to create listeners to attach to Cismo's engine.

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

Version:

1.0

Author:

Nicolas Richard

Method Summary

void	computingSatisfiesDone(EnginEvent e) This event is fired when the engine has completed a formula verification request.
void	computingStatesSatisfyingDone(EnginEvent e) This event is fired when the engine has found all the states that verify the formula.
void	constraintVerified(EnginEvent e) This event if fired when the engine has completed the LMP constraints verification.

Method Detail

computingSatisfiesDone

void computingSatisfiesDone(EnginEvent e)

This event is fired when the engine has completed a formula verification request.

Parameters:

e - the result from the verification

See Also:

EnginEvent.isSatisfied()

computingStatesSatisfyingDone

void computingStatesSatisfyingDone(EnginEvent e)

This event is fired when the engine has found all the states that verify the formula.

Parameters:

e - all states that verifies the formula, if any

See Also:

EnginEvent.getStatesVerifying()

constraintVerified

void constraintVerified(EnginEvent e)

This event if fired when the engine has completed the LMP constraints verification.

Parameters:

e - wether the system verifies the constraints or not.