35 #include "FwPrDCreate.h"
36 #include "FwPrConfig.h"
38 #include "FwPrConstants.h"
49 const FwPrCounterS1_t nOfANodes = 1;
50 const FwPrCounterS1_t nOfDNodes = 0;
51 const FwPrCounterS1_t nOfFlows = 2;
52 const FwPrCounterS1_t nOfActions = 1;
53 const FwPrCounterS1_t nOfGuards = 1;
54 const FwPrCounterS1_t N1 = 1;
60 startUpPrDesc = FwPrCreate(nOfANodes, nOfDNodes, nOfFlows, nOfActions, nOfGuards);
Interface to the Application Reset Procedure.
FwPrDesc_t startUpPrDesc
The singleton instance of the Application Start-Up Procedure.
FwPrDesc_t CrFwAppSmGetAppStartUpProc()
Retrieve the singleton instance of the Application Start-Up 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.