Esempio n. 1
0
/* 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;
	}
}
Esempio n. 2
0
/* 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;
	}
}