Class AlgorithmRunnerMain

java.lang.Object
  AlgorithmRunnerMain

public class AlgorithmRunnerMain
extends java.lang.Object

Version:

"1.3.2"

Author:

yaniv sa'ar.

Constructor Summary

AlgorithmRunnerMain()

Method Summary

static void	ctlCheck()
static void	ltlCheck()
static void	main(java.lang.String[] args)
static void	simpleCheckDeadlock()
static void	simpleCheckInvariance()
static void	simpleCheckReact()
static void	simpleCheckTempEntail()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AlgorithmRunnerMain

public AlgorithmRunnerMain()

Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException

Throws:

java.io.IOException

simpleCheckDeadlock

public static void simpleCheckDeadlock()
                                throws java.io.IOException

Throws:

java.io.IOException

simpleCheckInvariance

public static void simpleCheckInvariance()
                                  throws java.io.IOException

Throws:

java.io.IOException

simpleCheckTempEntail

public static void simpleCheckTempEntail()
                                  throws java.io.IOException

Throws:

java.io.IOException

simpleCheckReact

public static void simpleCheckReact()
                             throws java.io.IOException

Throws:

java.io.IOException

ctlCheck

public static void ctlCheck()
                     throws java.io.IOException

Throws:

java.io.IOException

ltlCheck

public static void ltlCheck()
                     throws java.io.IOException

Throws:

java.io.IOException