edu.wis.jtlv.lib.mc
Class ModelCheckAlgCounterExampleException

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

All Implemented Interfaces:

java.io.Serializable

public class ModelCheckAlgCounterExampleException
extends ModelCheckAlgException

An exception dedicated for counter examples.

Version:

"1.3.2"

Author:

yaniv sa'ar.

See Also:

Serialized Form

Constructor Summary

ModelCheckAlgCounterExampleException(java.lang.String desc, BDD[] path)

Method Summary

BDD[]	getPath()
java.lang.String	toString()

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ModelCheckAlgCounterExampleException

public ModelCheckAlgCounterExampleException(java.lang.String desc,
                                            BDD[] path)

Method Detail

getPath

public BDD[] getPath()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Throwable