edu.wis.jtlv.old_lib.mc
Class ModelChecker

java.lang.Object
  edu.wis.jtlv.old_lib.mc.ModelChecker

Direct Known Subclasses:

CTLModelChecker, LTLModelChecker, SimpleModelChecker

public abstract class ModelChecker
extends java.lang.Object

Version:

"1.3.2"

Author:

yaniv sa'ar.

Constructor Summary

ModelChecker(SMVModule design, boolean removeRunningVar)

Method Summary

SMVModule

getDesign()

Methods inherited from class java.lang.Object

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

Constructor Detail

ModelChecker

public ModelChecker(SMVModule design,
                    boolean removeRunningVar)
             throws ModelCheckException

Throws:

ModelCheckException

Method Detail

getDesign

public SMVModule getDesign()