From 164ac3a34cbac441e82b256c97cb8784ea9d482c Mon Sep 17 00:00:00 2001 From: Nicolas Schodet Date: Mon, 17 Mar 2008 22:53:01 +0100 Subject: * tools/dfagen: - added dfagen. --- tools/dfagen/examples/ex2_robot.h | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 tools/dfagen/examples/ex2_robot.h (limited to 'tools/dfagen/examples/ex2_robot.h') diff --git a/tools/dfagen/examples/ex2_robot.h b/tools/dfagen/examples/ex2_robot.h new file mode 100644 index 00000000..0ceb7949 --- /dev/null +++ b/tools/dfagen/examples/ex2_robot.h @@ -0,0 +1,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 */ -- cgit v1.2.3