Definition at line 2026 of file drivectrl.cc.
References EventImp::GetSize(), EventImp::Ptr(), and Source::ra.
Referenced by StateMachineDrive< T, S >::StateMachineDrive().