tesl.tests
Class FilteredImplicationTest

java.lang.Object
  tesl.tests.FilteredImplicationTest

public class FilteredImplicationTest
extends java.lang.Object

Field Summary

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

Constructor Summary

FilteredImplicationTest()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

master

Clock<Unit> master

slave

Clock<Unit> slave

solver

ClockSet solver

Constructor Detail

FilteredImplicationTest

public FilteredImplicationTest()

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()