/* Action function for state "init" in state set "monitorEvflagTest" */ static void seqg_action_monitorEvflagTest_0_init(SS_ID seqg_env, int seqg_trn, int *seqg_pnst) { switch(seqg_trn) { case 0: { # line 31 "../monitorEvflag.st" seq_efClear(seqg_env, actualChanged); } return; } }
/* Action function for state "init" in state set "monitorEvflagTest" */ static void A_monitorEvflagTest_0_init(SS_ID ssId, struct UserVar *pVar, int transNum, int *pNextState) { switch(transNum) { case 0: { # line 31 "../monitorEvflag.st" seq_efClear(ssId, 1/*actualChanged*/); } return; } }