edu.wis.jtlv.old_lib.mc
Class CounterExampleException

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

All Implemented Interfaces:

java.io.Serializable

public class CounterExampleException
extends ModelCheckException

An exception dedicated for counter examples.

Version:

"1.3.2"

Author:

yaniv sa'ar.

See Also:

Serialized Form

Constructor Summary

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

CounterExampleException

public CounterExampleException(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