com.grack.prologmachine.test
Class TestUnifiable
com.grack.prologmachine.test.TestUnifiable
- public class TestUnifiable
TestUnifiable
public TestUnifiable(java.lang.String name)
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()