Files compil.ml? for compilation XPath -> ASTA

[tatoo.git] / src / asta.mli

diff --git a/src/asta.mli b/src/asta.mli
index 0dd1994..dff376f 100644 (file)
--- a/src/asta.mli
+++ b/src/asta.mli
@@ -2,7 +2,7 @@
 (*                                                                     *)
 (*                               TAToo                                 *)
 (*                                                                     *)
-(*                  ?   *)
+(*                  Lucca Hirschi, ?   *)
 (*                  ?   *)
 (*                                                                     *)
 (*  Copyright 2010-2012 Université Paris-Sud and Centre National de la *)
@@ -34,6 +34,9 @@ val transition : t -> state -> label -> formula
 val transitions : t -> state -> (label*formula) list
 (** Give the list of labels and formulae from transitions for a given state *)
 
+val dummy : t
+(** The empty automaton *)
+
 val print : Format.formatter -> t -> unit
 (** Describe the automaton as text *)