edu.wis.jtlv.lib.mc
Class ModelCheckAlgException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          edu.wis.jtlv.lib.AlgExceptionI
              edu.wis.jtlv.lib.mc.ModelCheckAlgException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

ModelCheckAlgCounterExampleException

public class ModelCheckAlgException
extends AlgExceptionI

An exception dedicated for all kind of model checking issues.

Version:

"1.3.2"

Author:

yaniv sa'ar.

See Also:

Serialized Form

Constructor Summary

ModelCheckAlgException(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

ModelCheckAlgException

public ModelCheckAlgException(java.lang.String desc)