(*
    HLins: insert http-links into HTML documents.
    See http://www.lri.fr/~treinen/hlins

    Copyright (C) 1999 Ralf Treinen <treinen@lri.fr>

    This program 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.

    This program 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., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA

*)

(**************************************************************************)
(* module to run an automaton for multi-pattern string searching          *)
(**************************************************************************)


open Automaton;;


(* (run auto inc subst outc) runs the automaton auto on the
   input read from the lexbuf inc. Writes to outc the
   resulting string obtained by replacing every matched subword s,
   with list of indices in the array of names found, and with list of
   indices of names s is an abbreviation of expand, by the results of
   (subst found expand s).
*)

val run :
  automaton
  -> Lexing.lexbuf
    -> (int list -> int list -> string -> string)
      -> out_channel 
	-> unit
;;




