class DefinitionBuilder

Builds a definition.

Methods

__construct(array $places = [], array $transitions = [])

No description

build()

No description

$this
reset()

Clear all data in the builder.

$this
setInitialPlace(string $place)

No description

$this
addPlace(string $place)

No description

$this
addPlaces(array $places)

No description

$this
addTransitions(array $transitions)

No description

$this
addTransition(Transition $transition)

No description

Details

at line 33
__construct(array $places = [], array $transitions = [])

Parameters

array $places
array $transitions

at line 42
Definition build()

Return Value

Definition

at line 52
$this reset()

Clear all data in the builder.

Return Value

$this

at line 66
$this setInitialPlace(string $place)

Parameters

string $place

Return Value

$this

at line 78
$this addPlace(string $place)

Parameters

string $place

Return Value

$this

at line 98
$this addPlaces(array $places)

Parameters

array $places

Return Value

$this

at line 112
$this addTransitions(array $transitions)

Parameters

array $transitions

Return Value

$this

at line 124
$this addTransition(Transition $transition)

Parameters

Transition $transition

Return Value

$this