edu.wis.jtlv.bench
Class Bench
java.lang.Object
edu.wis.jtlv.bench.Bench
public class Bench
- extends java.lang.Object
Constructor Summary |
Bench()
|
Method Summary |
static void |
german_inv(java.lang.String[] args)
|
static void |
main(java.lang.String[] args)
|
static void |
tc0(java.lang.String[] args)
|
static void |
tc1(java.lang.String[] args)
|
static void |
tc2(java.lang.String[] args)
|
static void |
tc3(java.lang.String[] args)
|
static void |
very_good_ltl(java.lang.String[] args)
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Bench
public Bench()
main
public static void main(java.lang.String[] args)
german_inv
public static void german_inv(java.lang.String[] args)
very_good_ltl
public static void very_good_ltl(java.lang.String[] args)
tc0
public static void tc0(java.lang.String[] args)
tc1
public static void tc1(java.lang.String[] args)
tc2
public static void tc2(java.lang.String[] args)
tc3
public static void tc3(java.lang.String[] args)