Definition
Definition
class Definition
Methods
| __construct(array $places, array $transitions, string|null $initialPlace = null) | ||
| string|null | getInitialPlace() | |
| string[] | getPlaces() | |
| Transition[] | getTransitions() |
Details
__construct(array $places, array $transitions, string|null $initialPlace = null)
Parameters
| array | $places | |
| array |
 |