tuffy.test
Class AtomTest

java.lang.Object
  tuffy.test.AtomTest

public class AtomTest
extends java.lang.Object

Testing class for Atom object.

Constructor Summary

AtomTest()

Method Summary

void	testGroundSize() Test function grounding atoms according to Predicate and Constant Table.
void	testToString() Test function transforming Atom object to String representation.

Methods inherited from class java.lang.Object

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

Constructor Detail

AtomTest

public AtomTest()

Method Detail

testGroundSize

public final void testGroundSize()

Test function grounding atoms according to Predicate and Constant Table.

testToString

public final void testToString()

Test function transforming Atom object to String representation.