tuffy.test
Class TermTest

java.lang.Object
  tuffy.test.TermTest

public class TermTest
extends java.lang.Object

Testing class for Term class.

Constructor Summary

TermTest()

Method Summary

void	test_toString() Test functions of transforming Term object to String representation.

Methods inherited from class java.lang.Object

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

Constructor Detail

TermTest

public TermTest()

Method Detail

test_toString

public final void test_toString()

Test functions of transforming Term object to String representation.