name: Marking
class_comment: "# * Marking contains the place of every tokens.\n# *\n# * @author\
  \ Gr\xE9goire Pineau <lyrixx@lyrixx.info>"
dependencies: []
properties: []
methods:
- name: __construct
  visibility: public
  parameters:
  - name: representation
    default: '[]'
  comment: "# * Marking contains the place of every tokens.\n# *\n# * @author Gr\xE9\
    goire Pineau <lyrixx@lyrixx.info>\n# */\n# class Marking\n# {\n# private array\
    \ $places = [];\n# private ?array $context = null;\n# \n# /**\n# * @param int[]\
    \ $representation Keys are the place name and values should be superior or equals\
    \ to 1"
- name: mark
  visibility: public
  parameters:
  - name: /*
  - name: nbToken
    default: 1 */
  comment: '# * @param int $nbToken

    # *

    # * @psalm-param int<1, max> $nbToken'
- name: unmark
  visibility: public
  parameters:
  - name: /*
  - name: nbToken
    default: 1 */
  comment: '# * @param int $nbToken

    # *

    # * @psalm-param int<1, max> $nbToken'
- name: has
  visibility: public
  parameters:
  - name: place
  comment: null
- name: getPlaces
  visibility: public
  parameters: []
  comment: null
- name: setContext
  visibility: public
  parameters:
  - name: context
  comment: '# * @internal'
- name: getContext
  visibility: public
  parameters: []
  comment: '# * Returns the context after the subject has transitioned.'
traits: []
interfaces: []