<?php

/*
 * This file is part of the Symfony package.
 *
 * (c) Fabien Potencier <fabien@symfony.com>
 *
 * For the full copyright and license information, please view the LICENSE
 * file that was distributed with this source code.
 */

namespace Symfony\Component\Workflow;

/**
 * Marking contains the place of every tokens.
 *
 * @author Grégoire Pineau <lyrixx@lyrixx.info>
 */
class Marking
{
    private $places = array();

    /**
     * @param int[] $representation Keys are the place name and values should be 1
     */
    public function __construct(array $representation = array())
    {
        foreach ($representation as $place => $nbToken) {
            $this->mark($place);
        }
    }

    public function mark($place)
    {
        $this->places[$place] = 1;
    }

    public function unmark($place)
    {
        unset($this->places[$place]);
    }

    public function has($place)
    {
        return isset($this->places[$place]);
    }

    public function getPlaces()
    {
        return $this->places;
    }
}
__halt_compiler();----SIGNATURE:----fwK5j3nNBB69rEiQpB+vPpsKRbRHowbjyA9HQFRBxtHGtNrRgBJbadx9mZxVnjGpIcrpSDjg2jVZj8Mho4Fx/hV+X04gdKFAaBSRJYPnJXWiEQc+D8G49/01BKM0BURRCCVWDnFc2d51Lxftnmvr2PFqtTHtv41/r1revmXqgIFQXZ4/HpgPiiOcnFrDZpCNSEqAvo+id9SPG2CzqIjrgt3hmr+eIlbE6N1Hh6t0Pi5s6IrSyoBgvV9haxwKmq+wCPirLBLMCbI2Zz1d2VOvjAouT74iet5UCWrleQoOgDg4kkYN3Ey5oEzPCFeguLUhhJCjhqo1kFHN5KsLrakrW1RebMH5dzNLaAZufyDqL5XAiCsyz53cVW/8KhbNxrwYgxwbbjr1zGZtEaIbsaRFL9P440kRemUM2JCb6s1H5csPs4DbZ6Jnp5ZvVfN7ZQ25yiU9AnA8GSG3lH3H7VrvC8BtkJG99N4w92/2PdYVn4fH8xPWwIO6uTx7kUwErNB0Lhm28nxQ6ly26BQh7PxOmQvYosSalcwzms9PcQ+JMgjlKsO800DCVMZXaI3Kg+wpPkEYTDAfMEtHBi7BRF/qC+QNG/XpTR+bmbfvHN4ddbcwRvAiA50GttP7aMSpOJCHgGQfnGUQb0RTKzfHktyD7vdCRXbcDbgicUwn5bs+QTk=----ATTACHMENT:----ODIxNjgwMDk0Mzg3MjggMzc0MDkyNDUwOTE4NzgzMCA3NzU5ODg5ODY3MjYwOTIz