edu.wis.jtlv.experimental.games
Class TesterGameMain

java.lang.Object
  extended by edu.wis.jtlv.experimental.games.TesterGameMain

public class TesterGameMain
extends java.lang.Object


Constructor Summary
TesterGameMain()
           
 
Method Summary
static void build()
           
static void ctlMCAndPrint(CTLModelChecker checker, Spec toCheck)
           
static void ltlMCAndPrint(LTLModelChecker checker, Spec toCheck)
           
static void main(java.lang.String[] args)
           
static void standAloneValidAndPrint(Spec toCheck)
           
static void validAndPrint(LTLModelChecker checker, Spec toCheck)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TesterGameMain

public TesterGameMain()
Method Detail

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)