tesl.tests
Class ImplicationTest

java.lang.Object
  tesl.tests.ImplicationTest

public class ImplicationTest
extends java.lang.Object

Field Summary

(package private) Clock<java.lang.Double>	c3
(package private) TagCalculus<java.lang.Double>	tcalc

Constructor Summary

ImplicationTest()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

tcalc

TagCalculus<java.lang.Double> tcalc

c3

Clock<java.lang.Double> c3

Constructor Detail

ImplicationTest

public ImplicationTest()

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

test9

public void test9()