tesl.tests
Class SustainedImplicationTest

java.lang.Object
  tesl.tests.SustainedImplicationTest

public class SustainedImplicationTest
extends java.lang.Object

Field Summary

(package private) Clock<Unit>	master
(package private) Clock<Unit>	slave
(package private) ClockSet	solver
(package private) Clock<Unit>	start
(package private) Clock<Unit>	stop

Constructor Summary

SustainedImplicationTest()

Method Summary

void	test1()
void	test2()
void	test3()
void	test4()
void	test5()
void	test6()
void	test7()
void	test8()

Methods inherited from class java.lang.Object

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

Field Detail

master

Clock<Unit> master

start

Clock<Unit> start

stop

Clock<Unit> stop

slave

Clock<Unit> slave

solver

ClockSet solver

Constructor Detail

SustainedImplicationTest

public SustainedImplicationTest()

Method Detail

test1

public void test1()

test2

public void test2()

test3

public void test3()

test4

public void test4()

test5

public void test5()

test6

public void test6()

test7

public void test7()

test8

public void test8()