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, toString
assertEquals, 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, failSame
public void testFullyEquivalent() throws StringLabeller.UniqueLabelException
public void testFullyEquivalent2() throws StringLabeller.UniqueLabelException
public void testFullyEquivalentDirected() throws StringLabeller.UniqueLabelException
public void testFullyEquivalentDirectedSelfLoop() throws StringLabeller.UniqueLabelException