edu.toronto.cs.modelchecker
Class MvSetModelChecker
java.lang.Object
edu.toronto.cs.modelchecker.MvSetModelChecker
public class MvSetModelChecker
- extends java.lang.Object
ModelChecker engine
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MvSetModelChecker
public MvSetModelChecker(XKripkeStructure model)
getXKripke
public XKripkeStructure getXKripke()
renew
public void renew()
getMvSetFactory
public MvSetFactory getMvSetFactory()
getTrans
public MvRelation getTrans()
getPrime
public int[] getPrime()
getUnPrimeCube
public MvSet getUnPrimeCube()
__checkCTL
public MvSet __checkCTL(CTLNode ctl,
MvSet init)
checkCTL
public MvSet checkCTL(CTLNode ctl,
MvSet state)
checkCTL
public MvSet checkCTL(CTLNode v)