edu.wis.jtlv.lib.mc
Class ModelCheckAlgI

java.lang.Object
  edu.wis.jtlv.lib.mc.ModelCheckAlgI

All Implemented Interfaces:

AlgI

Direct Known Subclasses:

CTLModelCheckAlg, LTLModelCheckAlg, LTLValidAlg, SimpleDeadlockAlg, SimpleInvarianceAlg, SimpleTempEntailAlg

public abstract class ModelCheckAlgI
extends java.lang.Object
implements AlgI

Method Summary

Methods inherited from class java.lang.Object

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

Methods inherited from interface edu.wis.jtlv.lib.AlgI

doAlgorithm, postAlgorithm, preAlgorithm