Public Methods |
| | Automaton () |
| void | setName (const char *s) |
| void | setFilename (int prefix) |
| void | setCodePrefix (const char *prefix, int codeblockline) |
| void | setPrefix (const char *prefix, int codeblockline) |
| void | setDeclare (const char *declaration, int codeblockline) |
| void | setDefine (const char *definition, int codeblockline) |
| void | setInherit (int inherit_class) |
| void | setInherit (int inherit_class, const char *inherit_class_init) |
| void | setInherit (const char *inherit_class) |
| void | setInherit (const char *inherit_class, const char *inherit_class_init) |
| void | setConstruct (const char *parameters, const char *assignment=NULL, const char *body=NULL) |
| void | setDestruct (const char *body) |
| void | setEnterstate (const char *body) |
| void | setEntertrans (const char *body) |
| void | setSyncStop () |
| void | inputDefinition (int name, SignalParameterList *parameters) |
| void | respace (ostream &ostr, const char *str, const char *input) |
| void | eval (V2StateCollector *v2, StateTransitionArray *array) |