31 #include "FwPrDCreate.h"
32 #include "FwPrConfig.h"
34 #include "FwPrConstants.h"
45 const FwPrCounterS1_t nOfANodes = 1;
46 const FwPrCounterS1_t nOfDNodes = 0;
47 const FwPrCounterS1_t nOfFlows = 2;
48 const FwPrCounterS1_t nOfActions = 1;
49 const FwPrCounterS1_t nOfGuards = 1;
50 const FwPrCounterS1_t N1 = 1;
56 resetPrDesc = FwPrCreate(nOfANodes, nOfDNodes, nOfFlows, nOfActions, nOfGuards);
FwPrDesc_t CrFwAppSmGetAppResetProc()
Retrieve the singleton instance of the Application Reset Procedure.
FwPrDesc_t resetPrDesc
The singleton instance of the Application Reset Procedure.
Interface to the Application Reset Procedure.
Header file to define all invariant publicly available constants and types for the CORDET Framework.
FwPrBool_t CrFwWaitOnePrCycle(FwPrDesc_t prDesc)
Convenience function which returns true when a procedure has spent more than one cycle in the current...
void CrFwPrEmptyAction(FwPrDesc_t prDesc)
Convenience function to be used in a procedure as default implementation for an action which returns ...
Definition of the utility functions for the CORDET Framework.