com.grack.prologmachine.test
Class TestMostGeneralUnifier

com.grack.prologmachine.test.TestMostGeneralUnifier

public class TestMostGeneralUnifier


Constructor Summary
TestMostGeneralUnifier(java.lang.String name)
           
 
Method Summary
 void setUp()
           
static com.grack.prologmachine.test.Test suite()
           
 void tearDown()
           
 void testBig1()
           
 void testBig2()
           
 void testEmpty()
           
 void testSimple()
           
 

Constructor Detail

TestMostGeneralUnifier

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

suite

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

setUp

public void setUp()

tearDown

public void tearDown()

testEmpty

public void testEmpty()

testSimple

public void testSimple()

testBig1

public void testBig1()

testBig2

public void testBig2()