automaton.h File Reference


Detailed Description

(Non)Deterministic Finite Automaton for Regexp

Author:
Antoine Fraboulet
Date:
2005

Definition in file automaton.h.

Go to the source code of this file.

Typedefs

typedef automaton_tautomaton

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)


Typedef Documentation

typedef struct automaton_t* automaton
 

Definition at line 34 of file automaton.h.


Function Documentation

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

void automaton_dump automaton  a,
char *  filename
 

int automaton_get_accept automaton  a,
int  state
 

ask for the acceptor flag for the state

Returns:
boolean flag 0 or 1

int automaton_get_init automaton  a  ) 
 

query the id of the init state

Returns:
init state id

int automaton_get_next_state automaton  a,
int  start,
char  l
 

returns the next state when the transition is taken

Returns:
next state id (1 <= id <= nstate, 0 = invalid id)

int automaton_get_nstate automaton  a  ) 
 

get the number of states in the automaton

Returns:
number of states


Generated on Thu Dec 29 02:01:15 2005 for Eliot by  doxygen 1.4.5