C# Class Tests.TestFixture2

Mostra file Open project: aabs/PetriNets

Public Methods

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

Private Methods

Method Description
CreatePNInhibited ( ) : GraphPetriNet
CreatePNTwoInOneOut ( ) : GraphPetriNet
CreatePNTwoInTwoOut ( ) : GraphPetriNet
Test1 ( ) : void
Test2 ( ) : void
TestInhibition ( ) : void
TestInhibition2 ( ) : void
TestOutgoingWeight ( ) : void

Method Details

AssertMarkings() public method

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

CreateMarking2() public static method

public static CreateMarking2 ( ) : Marking
return PetriNetCore.Marking