1
(***********************************************************************)
5
(* Pierre Weis, projet Cristal, INRIA Rocquencourt *)
7
(* Copyright 2001 Institut National de Recherche en Informatique et *)
8
(* en Automatique. All rights reserved. This file is distributed *)
9
(* only by permission. *)
11
(***********************************************************************)
13
{ mutable dtransitions : transition array;
19
val d�terminise : Auto.�tat -> �tat;;
20
val reconna�t : �tat -> string -> bool;;