C# Class TestProject1.TestArcNotation

Show file Open project: aabs/PetriNets

Private Methods

Method Description
AllTests ( string spec, int inArcs, int outArcs, int numInhibitors ) : void
RunFullTestCase ( string spec, int inArcs, int outArcs, int numInhibitors ) : void
TestMarkingNotation ( string spec, string serialisedMarking ) : void