org.processmining.projectedrecallandprecision.helperclasses.automata

Class testAutomaton

java.lang.Object

org.processmining.projectedrecallandprecision.helperclasses.automata.testAutomaton

public class testAutomaton
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
testAutomaton()

Method Summary

Modifier and Type	Method and Description
static boolean	check(boolean value, java.lang.String explanation)
static void	main(java.lang.String... args)

Methods inherited from class java.lang.Object

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

Constructor Detail

testAutomaton

public testAutomaton()

Method Detail

main

public static void main(java.lang.String... args)
                 throws java.lang.Exception

Throws:

java.lang.Exception

check

public static boolean check(boolean value,
                            java.lang.String explanation)