|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
com.grack.prologmachine.test.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 |
public TestMostGeneralUnifier(java.lang.String name)
Method Detail |
public static com.grack.prologmachine.test.Test suite()
public void setUp()
public void tearDown()
public void testEmpty()
public void testSimple()
public void testBig1()
public void testBig2()
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |