use Symfony\Component\Workflow\MarkingStore\MarkingStoreInterface;
use Symfony\Component\Workflow\MarkingStore\MethodMarkingStore;
use Symfony\Contracts\EventDispatcher\EventDispatcherInterface;
/**
* @author Tobias Nyholm <tobias.nyholm@gmail.com>
*/
class StateMachine extends Workflow
{ public function __construct(Definition
$definition, MarkingStoreInterface
$markingStore = null, EventDispatcherInterface
$dispatcher = null, string
$name = 'unnamed', array
$eventsToDispatch = null
) { parent::
__construct($definition,
$markingStore ??
new MethodMarkingStore(true
),
$dispatcher,
$name,
$eventsToDispatch);
}}