public class TestFullyEquivalent
extends junit.framework.TestCase
| Constructor and Description |
|---|
TestFullyEquivalent() |
| Modifier and Type | Method and Description |
|---|---|
void |
testFullyEquivalent() |
void |
testFullyEquivalent2() |
void |
testFullyEquivalentDirected() |
void |
testFullyEquivalentDirectedSelfLoop() |
countTestCases, createResult, getName, run, run, runBare, runTest, setName, setUp, tearDown, toStringassertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSamepublic void testFullyEquivalent()
throws StringLabeller.UniqueLabelException
public void testFullyEquivalent2()
throws StringLabeller.UniqueLabelException
public void testFullyEquivalentDirected()
throws StringLabeller.UniqueLabelException
public void testFullyEquivalentDirectedSelfLoop()
throws StringLabeller.UniqueLabelException