C# Class TestProject1.TestArcNotation

显示文件 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