std::wstring print() const override
{
return L"transition[" + source_producer_->print() + L"=>" + dest_producer_->print() + L"]";
std::wstring print() const override
{
return L"transition[" + source_producer_->print() + L"=>" + dest_producer_->print() + L"]";