Definition in file automaton.h.
Go to the source code of this file.
Typedefs | |
typedef automaton_t * | automaton |
Functions | |
automaton | automaton_build (int init_state, int *ptl, int *PS, struct search_RegE_list_t *list) |
build a static deterministic finite automaton from "init_state", "ptl" and "PS" given by the parser | |
void | automaton_delete (automaton a) |
automaton delete function | |
int | automaton_get_nstate (automaton a) |
get the number of states in the automaton | |
int | automaton_get_init (automaton a) |
query the id of the init state | |
int | automaton_get_accept (automaton a, int state) |
ask for the acceptor flag for the state | |
int | automaton_get_next_state (automaton a, int start, char l) |
returns the next state when the transition is taken | |
void | automaton_dump (automaton a, char *filename) |
|
Definition at line 34 of file automaton.h. |
|
build a static deterministic finite automaton from "init_state", "ptl" and "PS" given by the parser
|
|
automaton delete function
|
|
|
|
ask for the acceptor flag for the state
|
|
query the id of the init state
|
|
returns the next state when the transition is taken
|
|
get the number of states in the automaton
|