DefinitionBuilder

DefinitionBuilder

class DefinitionBuilder

Builds a definition.

Methods

__construct(array $places = array(), array $transitions = array())
Definition build()
reset()

Clear all data in the builder.

setInitialPlace(string $place)
addPlace(string $place)
addPlaces(array $places)
登录查看完整内容