C# Class Tests.BasePNTester

Mostra file Open project: aabs/PetriNets

Public Methods

Method Description
AssertMarkings ( Marking m, int>.Dictionary markingsExpected ) : void

Method Details

AssertMarkings() public method

public AssertMarkings ( Marking m, int>.Dictionary markingsExpected ) : void
m PetriNetCore.Marking
markingsExpected int>.Dictionary
return void