engin.event
Class EnginEvent

java.lang.Object
  engin.event.EnginEvent

public class EnginEvent
extends java.lang.Object

Engin Event

This class defines the events that can be fired by Cismo's engine.

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

Version:

1.0

Author:

Nicolas Richard

Constructor Summary

EnginEvent()
Default constructor

Method Summary

java.lang.Exception	getStatesNotVerifingConstraint() Returns the exception thrown from the violation of the LMP constraints.
IntervalList	getStatesVerifying() Returns all the states that does verify the formula
EnginTraceDialog	getVerifyTrace() Returns the trace object that contains all verification operations
boolean	isConstraintVerified() Returns true if the system verifies the LMP constraints
boolean	isSatisfied() Returns true if the engine has determined that the formula is verified by the probabilistic system
void	setConstraintVerified(boolean constraintVerified, java.lang.Exception statesNotVerifingConstraint) Sets a boolean value determining if the LMP constraints are verified
void	setSatisfies(boolean satisfies) Sets the boolean value determining if the formula is verified by the engine
void	setStatesNotVerifingConstraint(java.lang.Exception statesNotVerifingConstraint) Sets the exception thrown from the violation of the LMP constraints.
void	setStatesVerifying(IntervalList statesVerifying) Sets the state set that verifies the formula
void	setVerifyTrace(EnginTraceDialog trace) Set the trace object that contains all the operations that justifies the formula's verification.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EnginEvent

public EnginEvent()

Default constructor

Method Detail

isSatisfied

public boolean isSatisfied()

Returns true if the engine has determined that the formula is verified by the probabilistic system

Returns:

true if the formula is verified

setSatisfies

public void setSatisfies(boolean satisfies)

Sets the boolean value determining if the formula is verified by the engine

Parameters:

satisfies - true if the formula is verified, false otherwise

getStatesVerifying

public IntervalList getStatesVerifying()

Returns all the states that does verify the formula

Returns:

all the states that does verify the formula

setStatesVerifying

public void setStatesVerifying(IntervalList statesVerifying)

Sets the state set that verifies the formula

Parameters:

statesVerifying - all states verifying the formula

isConstraintVerified

public boolean isConstraintVerified()

Returns true if the system verifies the LMP constraints

Returns:

true if the system verifies the LMP constraints, false otherwise

setConstraintVerified

public void setConstraintVerified(boolean constraintVerified,
                                  java.lang.Exception statesNotVerifingConstraint)

Sets a boolean value determining if the LMP constraints are verified

Parameters:

constraintVerified - true if the constraints are verified

statesNotVerifingConstraint - the exception that occured should constraintVerified be set to false

getStatesNotVerifingConstraint

public java.lang.Exception getStatesNotVerifingConstraint()

Returns the exception thrown from the violation of the LMP constraints.

Returns:

the exception thrown from the violation of the LMP constraints.

setStatesNotVerifingConstraint

public void setStatesNotVerifingConstraint(java.lang.Exception statesNotVerifingConstraint)

Sets the exception thrown from the violation of the LMP constraints.

Parameters:

statesNotVerifingConstraint - the exception thrown from the violation of the LMP constraints.

setVerifyTrace

public void setVerifyTrace(EnginTraceDialog trace)

Set the trace object that contains all the operations that justifies the formula's verification.

Parameters:

trace - EnginTraceDialog

getVerifyTrace

public EnginTraceDialog getVerifyTrace()

Returns the trace object that contains all verification operations

Returns:

the trace object that contains all verification operations