Marking
Marking
class Marking
Marking contains the place of every tokens.
Methods
| __construct(array $representation = array()) | ||
| mark($place) | ||
| unmark($place) | ||
| has($place) | ||
| getPlaces() |
Details
__construct(array $representation = array())
Parameters
| array | $representation | Keys are the place name and values should be 1 |
mark($place)
Parameters
| $place |
unmark($place)
Parameters
| $place |
has($place)
Parameters
| $place |
getPlaces()
© 2004–2017 Fabien Potencier
Licensed under the MIT License.
http://api.symfony.com/3.3/Symfony/Component/Workflow/Marking.html
