class DefinitionBuilder

Builds a definition.

Methods

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

No description

build()

No description

reset()

Clear all data in the builder.

setInitialPlace(string $place)

No description

addPlace(string $place)

No description

addPlaces(array $places)

No description

addTransitions(array $transitions)

No description

addTransition(Transition $transition)

No description

Details

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

Parameters

array $places
array $transitions

at line line 42
Definition build()

Return Value

Definition

at line line 50
reset()

Clear all data in the builder.

at line line 60
setInitialPlace(string $place)

Parameters

string $place

at line line 68
addPlace(string $place)

Parameters

string $place

at line line 84
addPlaces(array $places)

Parameters

array $places

at line line 94
addTransitions(array $transitions)

Parameters

array $transitions

at line line 101
addTransition(Transition $transition)

Parameters

Transition $transition