tesl.tests
Class DelayedImplicationTest

java.lang.Object
  tesl.tests.DelayedImplicationTest

public class DelayedImplicationTest
extends java.lang.Object

Field Summary

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

Constructor Summary

DelayedImplicationTest()

Method Summary

void	test1()
void	test2()
void	test3()
void	test4()
void	test5()

Methods inherited from class java.lang.Object

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

Field Detail

master

Clock<Unit> master

counting

Clock<Unit> counting

slave

Clock<Unit> slave

solver

ClockSet solver

Constructor Detail

DelayedImplicationTest

public DelayedImplicationTest()

Method Detail

test1

public void test1()

test2

public void test2()

test3

public void test3()

test4

public void test4()

test5

public void test5()