DefinitionBuilder
class DefinitionBuilder
Методы
Подробности
__construct(array $places = array(), array $transitions = array())
Параметры
| array | $places | |
| array | $transitions | |
Значение результата
$this
reset()
Очистить все данные в билдере.
Значение результата
$this
setInitialPlace(string $place)
Параметры
Значение результата
$this
addPlace(string $place)
Параметры
Значение результата
$this
addPlaces(array $places)
Параметры
Значение результата
$this
addTransitions(array $transitions)
Параметры
Значение результата
$this
addTransition(Transition $transition)
Параметры
Значение результата