com.grack.prologmachine.test
Class TestUnifiable

com.grack.prologmachine.test.TestUnifiable

public class TestUnifiable


Constructor Summary
TestUnifiable(java.lang.String name)
           
 
Method Summary
 void setUp()
           
static com.grack.prologmachine.test.Test suite()
           
 void tearDown()
           
 void testArity()
           
 void testComplexCompoundPredicate()
           
 void testEmptyList()
           
 void testFloatNumber()
           
 void testIntegerNumber()
           
 void testName()
           
 void testNoArguments()
           
 void testSignature()
           
 void testSimpleCompoundPredicate()
           
 void testWildcard()
           
 

Constructor Detail

TestUnifiable

public TestUnifiable(java.lang.String name)
Method Detail

suite

public static com.grack.prologmachine.test.Test suite()

setUp

public void setUp()

tearDown

public void tearDown()

testNoArguments

public void testNoArguments()

testWildcard

public void testWildcard()

testEmptyList

public void testEmptyList()

testIntegerNumber

public void testIntegerNumber()

testFloatNumber

public void testFloatNumber()

testSimpleCompoundPredicate

public void testSimpleCompoundPredicate()

testComplexCompoundPredicate

public void testComplexCompoundPredicate()

testArity

public void testArity()

testName

public void testName()

testSignature

public void testSignature()