public class PetrinetTest
extends java.lang.Object
Constructor and Description |
---|
PetrinetTest() |
Modifier and Type | Method and Description |
---|---|
void |
testAddArc() |
void |
testAddPlaceString() |
void |
testAddPlaceStringInt() |
void |
testAddTransition() |
void |
testClonePetrineet() |
void |
testGetArcs() |
void |
testGetFinalPlaces() |
void |
testGetInitialPlaces() |
void |
testGetNextPlaces() |
void |
testGetNextTransitions() |
void |
testGetPetrinetLabel() |
void |
testGetPlaceLabel() |
void |
testGetPlaces() |
void |
testGetPlaceTokens() |
void |
testGetPreviousPlaces() |
void |
testGetPreviousTransitions() |
void |
testGetTransitionLabel() |
void |
testGetTransitions() |
void |
testPetrinet() |
void |
testRemovePlace() |
void |
testRemoveTransition() |
void |
testSetPlaceTokens() |
public void testPetrinet()
public void testAddPlaceStringInt()
public void testAddPlaceString()
public void testAddTransition()
public void testAddArc()
public void testRemoveTransition()
public void testRemovePlace()
public void testGetArcs()
public void testGetPetrinetLabel()
public void testGetPlaces()
public void testGetTransitions()
public void testGetPlaceLabel()
public void testGetPlaceTokens()
public void testSetPlaceTokens()
public void testGetTransitionLabel()
public void testGetInitialPlaces()
public void testGetFinalPlaces()
public void testGetNextTransitions()
public void testGetPreviousTransitions()
public void testGetNextPlaces()
public void testGetPreviousPlaces()
public void testClonePetrineet()