edu.wis.jtlv.experimental.games
Class TesterGameMain
java.lang.Object
edu.wis.jtlv.experimental.games.TesterGameMain
public class TesterGameMain
- extends java.lang.Object
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TesterGameMain
public TesterGameMain()
main
public static void main(java.lang.String[] args)
build
public static void build()
standAloneValidAndPrint
public static void standAloneValidAndPrint(Spec toCheck)
validAndPrint
public static void validAndPrint(LTLModelChecker checker,
Spec toCheck)
ltlMCAndPrint
public static void ltlMCAndPrint(LTLModelChecker checker,
Spec toCheck)
ctlMCAndPrint
public static void ctlMCAndPrint(CTLModelChecker checker,
Spec toCheck)