#ifndef __SCT_FSM_H__
#define __SCT_FSM_H__

/* Generated by fzmparser version 1.14 --- DO NOT EDIT! */

#include "sct_user.h"

extern void sct_fsm_init(void);

/* Input assignments */
#define SCT_INPUT_DOWN (0)
#define SCT_INPUT_RESET (1)

/* Output assignments (and their defaults if specified) */
#define SCT_OUTPUT_LED_BLUE (4)
#define SCT_OUTPUTPRELOAD_LED_BLUE (0)
#define SCT_OUTPUT_LED_GREEN (2)
#define SCT_OUTPUTPRELOAD_LED_GREEN (0)
#define SCT_OUTPUT_LED_RED (3)
#define SCT_OUTPUTPRELOAD_LED_RED (0)


/* Match register reload macro definitions */
#define reload_maxcount(value) LPC_SCT->MATCHREL_L[0] = value;

#endif
