tuffy.test
Class LiteralTest

java.lang.Object
  tuffy.test.LiteralTest

public class LiteralTest
extends java.lang.Object

Testing class for Literal class.

Constructor Summary

LiteralTest()

Method Summary

void	test_isSameAs() Test isSameAs function of Literal.
void	test_mostGeneralUnification_and_substitute_and_toTuple() Test function of getting the MGU (most general unification) of two literals.
void	test_scopeLit()
void	test_toString_and_getVars() Test functions of transforming Literal object to String representation.

Methods inherited from class java.lang.Object

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

Constructor Detail

LiteralTest

public LiteralTest()

Method Detail

test_scopeLit

public final void test_scopeLit()

test_toString_and_getVars

public final void test_toString_and_getVars()

Test functions of transforming Literal object to String representation. Also test the relationship between Literal and Term.

test_isSameAs

public final void test_isSameAs()

Test isSameAs function of Literal.

test_mostGeneralUnification_and_substitute_and_toTuple

public final void test_mostGeneralUnification_and_substitute_and_toTuple()

Test function of getting the MGU (most general unification) of two literals. Also test the function of substitution.