<?php

namespace Symfony\Component\Workflow;

use Symfony\Component\EventDispatcher\EventDispatcherInterface;
use Symfony\Component\Workflow\MarkingStore\MarkingStoreInterface;
use Symfony\Component\Workflow\MarkingStore\SingleStateMarkingStore;

/**
 * @author Tobias Nyholm <tobias.nyholm@gmail.com>
 */
class StateMachine extends Workflow
{
    public function __construct(Definition $definition, MarkingStoreInterface $markingStore = null, EventDispatcherInterface $dispatcher = null, $name = 'unnamed')
    {
        parent::__construct($definition, $markingStore ?: new SingleStateMarkingStore(), $dispatcher, $name);
    }
}
__halt_compiler();----SIGNATURE:----VOw6iqBdq/r+nSw0DPNc+qXu/TQG4wsXTgo5J/ky/W+qDACtxOl6BWFYUYcJTfHXL7QC6BB8G76Y68g82cufRvuFO090BsW+sbEZufJ8hCOfMmPgezCIBmd6g3C5Yl5bzvw6Lt+MSZJ+N4B9+kc5bYPdmK2Jv2PGw9UgPn5HCHUjSXKYsZCKkJYTNT0+JD9g3KJkieSe+dC6A1npbqt/GOHnoxWQ00YrbCfx5DQigf8DxrG9gmthXq6sMTUET1hbYwqOaubu72nbx0JKt45brAVjnvroyz3ZLG3t+fZnXvC9q6a0Y0F+A5uxzGB9nux4yBTSzQGV+c2VGj3zNkyWF2gGnBL4mknlGlJoyPdmZWoz42NBxKxc6e6hNxdjJZat5s47ZeTCyXG647eWBAoGRHZBaP+gKT5DO7fdouquYnqglCytaXJTvC9Vu5ZsGIDDYqqMHC4237m4agxfOaNFKJcAeVeztvhZFPqD9iMiNd2RyLGzYRzi/PZHLZw+kSXRqYt0MVungTNB1PdFC5EZcCSiQAW0Us1Sj5wqPuVnIbGtye/B7twRl1e3+YgHmLB+FBtQ2WScuJJKrHb9sH8PGh3s42A1ZHmL+Oux29ypDx5sltSehjAMXWm/iuu9vwCrpWuYA4wH12cvn4IviG2rYAg8Nk48QmBZe+SHbA6t+hc=----ATTACHMENT:----MzAzODIyODc3NDg0ODk1NCA0MDc2MDExMDAwOTUzMjA4IDY1NjUxMDQ5Nzg3MTUxMzc=