com.grack.prologmachine.test
Class TestUnify

com.grack.prologmachine.test.TestUnify

public class TestUnify


Constructor Summary
TestUnify(java.lang.String name)
           
 
Method Summary
 void setUp()
           
static com.grack.prologmachine.test.Test suite()
           
 void tearDown()
           
 void testSimple1()
           
 void testSimple2()
           
 void testSimple3()
           
 void testSimple4()
           
 void testSimple5()
           
 void testSimple6()
           
 void testSimple7()
           
 void testSimple8()
           
 void testSimple9()
           
 

Constructor Detail

TestUnify

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

suite

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

setUp

public void setUp()

tearDown

public void tearDown()

testSimple1

public void testSimple1()

testSimple2

public void testSimple2()

testSimple3

public void testSimple3()

testSimple4

public void testSimple4()

testSimple5

public void testSimple5()

testSimple6

public void testSimple6()

testSimple7

public void testSimple7()

testSimple8

public void testSimple8()

testSimple9

public void testSimple9()