Definition at line 237 of file pfminictrl.cc.
Referenced by StateMachinePFminiControl< T, S >::StateMachinePFminiControl().