<?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:----RlsPg2rSYhhdcYTk/czLyrAcQCwla4qNfNo7aG2+wpCYicGboj/ENT7qC5zCobY/DLtOarprib3r5aADCHa2+/B1CVBWxUG9gXYCOkOWpyzoACKdFYU4Zn2er7XgyBX70dRqbp9EppPmyk7KobqmjFAESxSSXL3eAyJLG+pVKW+7WYfdWo5tWBtDRMFUnz3y338xEj5SeJCiA6gc/PHhnBHDQuWeNKxwZ45Qf1MzByt8OZlYcDx3rWqFiV178R0vBge8LN37uM5bEIk+5WQKh0iocf3lG6EcOk1iXmdP2lS/xkTfBwkF+eoQTz6y15Q3poq6jjNq/87+4Jg3vXRInAh+wHoF3GUT9yuAgVnDSpKDev2Ik8+TactnjrraZepbfH1AFNPYQs6VitDkSm9VrUffJaQ1nYbMW+kH0NBZPYkEJeOCERPmnx26dfo0J9cFeLzRIMxXc4UPgHOx2lakkAlc3x672cF6oR/wCLyRS09Vgljq5dmre7NLAGjxBtTU4XgOI1oCJBk/w6zG4pqh4yCUKFQVXbrcFPGBVO0srTNfZALzgGaq98weXYyz7f7nJr4mj/zOucWNA2JzeYRjyZstn+fcKGoHi8rnvQspVzQMCPhhGFQ688mdm6t54bubLBPMpsfDhPykBm21Ae1FtKZdSLx2zhXwWUullt1FxJo=----ATTACHMENT:----NjgyOTUyMjIyNTk5MzMyNSAzODY0MDA0MTY3NzExNDIzIDUxNTYzNTExNjc0NDA0MDU=