<?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:----JGlejT9IV/C+rLZBh2fpVpcj69zdZ8q+uRcquszaz440dfa3u8+xqM4ZLFvyHKIFj4PuExVWAkE5ZSgJg3GG6BfdfiOFjgMwezd0+hc3r1JohtCHCa+qp1SGAHtS89I+wtLiuUnn47roJy6eo1VhqoLdjM9Yji+QGmqH/RSL3UgPyUDUgmKkpRZmwbNL39/849uBf2AwCoaNWATBg8h8d6gjYkhxpkzjhZnvg5siRJ5ctCyAr03UqIlv9rVh5Po6eEEFjGEfaUWhYTBKg0OBAUM08M3OtREu5hM5Uh1A6sCJ8hipN8Uk07P68xaLTT+jqrR/nkNXGlUZoqCuuE9YzSnqfWjtgLsg0JY6LKpJ/LQcDO1V5X88z2RyuUkqLiE+YrRkaHEQvXd5+FkyJIEUHZlXJrBztNc1cQ8Cu8Y5JIn0mEWfX98k/kllUl5CnhzyfZpNVWWPtB5iUCOmczJ6XANYkEqc1kvRIUv89rTQy2k/KkmOVi8vmuLWcO8wbfodi9cGLTWX6qSgMQ7QwIVFpMsnyMbaLFsuP19zt/LlwkZWKYRGQXTNJ6gKYLC37FcW2mzJKinTtSbtbj3jwrFeZrcvSiTtq6We+SwiPyMSBBlEe9XjAqKmzsvwU8XmJyw5VlFyPIPvzcFyAopicWwuqz9azLa4PIW78pJNl5sTak4=----ATTACHMENT:----MzYwMTMwNDk4NDQ0ODUwOCA5Njk3MTkxOTMxMzI0MDIzIDYxMjkxOTIwODQxNDcxMQ==