class Definition

Methods

__construct(array $places, array $transitions, string|null $initialPlace = null)

No description

string|null
getInitialPlace()

No description

string[]
getPlaces()

No description

getTransitions()

No description

Details

at line 33
__construct(array $places, array $transitions, string|null $initialPlace = null)

Parameters

array $places
array $transitions
string|null $initialPlace

at line 49
string|null getInitialPlace()

Return Value

string|null

at line 57
string[] getPlaces()

Return Value

string[]

at line 65
Transition[] getTransitions()

Return Value

Transition[]