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 |
