summaryrefslogtreecommitdiff
path: root/tools/dfagen/examples/ex2_robot.h
blob: 0ceb79490f954b1a51832b93e57489fcf2437f3b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#ifndef ex2_robot_h
#define ex2_robot_h
/* Example 2 type definition. */

#include "ex2.h"

/* Robot structure. */
struct robot_t
{
    /* The generated FSM. */
    ex2_state_t fsm;
    /* True for command with ice. */
    int ice;
    /* Number of glasses in the bottle. */
    int bottle;
};

#endif /* ex2_robot_h */