/*
 * (c) Peter Mueller, 2008
 *
 * All rights reserved. Reproduction, modification,
 * use or disclosure to third parties without express
 * authority is forbidden.
 */

/* This file is generated from equivalent - do not edit manually*/
/* Generated on: Sun Sep 21 13:31:11 CEST 2008 / version 1.2 */


#ifndef __EQUIVALENT_H__
#define __EQUIVALENT_H__
/* State definitions */
typedef enum{
	Active,
	Error3,
	WaitChannelA,
	Idle,
	WaitChannelB,
	FromActiveWait,
	SafetyOutEnabled,
	Init,
	Error12,
} EQUIVALENT_STATES_T;


/* Instance data definition of state machine */
typedef struct{
	EQUIVALENT_ENTRY_FLAG_T idleEntry;
	EQUIVALENT_STATEVAR_T stateVar;
	EQUIVALENT_STATEVAR_T stateVarActive;
	EQUIVALENT_INST_ID_T inst_id;
} EQUIVALENT_INSTANCEDATA_T;

/* Helper to initialize the machine's instance data */
#define EQUIVALENT_INSTANCEDATA_INIT {	1,	Idle/* set init state */,	Init/* set init state */,	0 /* instance id */}; 

/*Prototype for the change state function*/
void equivalentChangeToState(EQUIVALENT_INSTANCEDATA_T *instance, EQUIVALENT_STATES_T state);

void equivalentChangeToStateActive(EQUIVALENT_INSTANCEDATA_T *instance, EQUIVALENT_STATES_T state);


/*Prototype of the state machine function */
void equivalent(EQUIVALENT_INSTANCEDATA_T *instanceVar);

#endif