C# Класс TestProject1.TestArcNotation

Показать файл Открыть проект

Приватные методы

Метод Описание
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