edu.wis.jtlv.old_lib.mc
Class ModelCheckException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          edu.wis.jtlv.old_lib.mc.ModelCheckException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

CounterExampleException

public class ModelCheckException
extends java.lang.Exception

An exception dedicated for all kind of model checking issues.

Version:

"1.3.2"

Author:

yaniv sa'ar.

See Also:

Serialized Form

Constructor Summary

ModelCheckException(java.lang.String desc)

Method Summary

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ModelCheckException

public ModelCheckException(java.lang.String desc)