edu.wis.jtlv.bench
Class Bench

java.lang.Object
  extended by 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
 

Constructor Detail

Bench

public Bench()
Method Detail

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)