eliot/dic/automaton.h
Antoine Fraboulet c44a16dc13 - small typo fix in comments
- add doxygen file description
  - revert Dic_chr / board_search patch
    returning the character instead of the code
    was a HUGE performance penalty
    The dictionary must use codes, the board must be
    made to use codes instead of dic using tiles.
  - add Dic_char and Dic_char_lookup as temporary
    fixes for board_search. Should modify Board and Cross class
    instead.
  - create dic_code_t type
2006-01-01 19:51:00 +00:00

76 lines
2.8 KiB
C

/* Eliot */
/* Copyright (C) 2005 Antoine Fraboulet */
/* */
/* This file is part of Eliot. */
/* */
/* Eliot is free software; you can redistribute it and/or modify */
/* it under the terms of the GNU General Public License as published by */
/* the Free Software Foundation; either version 2 of the License, or */
/* (at your option) any later version. */
/* */
/* Eliot is distributed in the hope that it will be useful, */
/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
/* GNU General Public License for more details. */
/* */
/* You should have received a copy of the GNU General Public License */
/* along with this program; if not, write to the Free Software */
/* Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA */
/**
* \file automaton.h
* \brief (Non)Deterministic Finite Automaton for Regexp
* \author Antoine Fraboulet
* \date 2005
*/
#ifndef _DIC_AUTOMATON_H_
#define _DIC_AUTOMATON_H_
#if defined(__cplusplus)
extern "C"
{
#endif
typedef struct automaton_t *automaton;
/**
* build a static deterministic finite automaton from
* "init_state", "ptl" and "PS" given by the parser
*/
automaton automaton_build(int init_state, int *ptl, int *PS, struct search_RegE_list_t *list);
/**
* automaton delete function
*/
void automaton_delete (automaton a);
/**
* get the number of states in the automaton
* @returns number of states
*/
int automaton_get_nstate (automaton a);
/**
* query the id of the init state
* @returns init state id
*/
int automaton_get_init (automaton a);
/**
* ask for the acceptor flag for the state
* @returns boolean flag 0 or 1
*/
int automaton_get_accept (automaton a, int state);
/**
* returns the next state when the transition is taken
* @returns next state id (1 <= id <= nstate, 0 = invalid id)
*/
int automaton_get_next_state (automaton a, int start, char l);
void automaton_dump (automaton a, char* filename);
#if defined(__cplusplus)
}
#endif
#endif /* _DIC_AUTOMATON_H_ */