Definition at line 126 of file drivectrl.cc.
Referenced by StateMachineDrive< T, S >::HandleTPoint(), and StateMachineDrive< T, S >::ReadDatabase().