X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fformula.mli;h=12d13defa9216ca03c13511dc09770aa44852cd9;hb=7e27afe6fa006ad355237ccc0695c6493ea57929;hp=88763eeb719a641e8b15a691b6ff369e1ef46879;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;p=SXSI%2Fxpathcomp.git

diff --git a/src/formula.mli b/src/formula.mli
index 88763ee..12d13de 100644
--- a/src/formula.mli
+++ b/src/formula.mli
@@ -3,7 +3,7 @@ type 'a expr =
     | True
     | Or of 'a * 'a
     | And of 'a * 'a
-    | Atom of ([ `Left |`Right ] * bool * State.t)
+    | Atom of ([ `Left |`Right | `Epsilon ] * bool * State.t)
     | Pred of Tree.Predicate.t
 
 type t
@@ -11,10 +11,7 @@ val hash : t -> int
 val uid : t -> Uid.t
 val equal : t -> t -> bool
 val expr : t -> t expr
-val st :
-  t ->
-  (StateSet.t * StateSet.t * StateSet.t) *
-    (StateSet.t * StateSet.t * StateSet.t)
+val st : t -> StateSet.t * StateSet.t
 val compare : t -> t -> int
 val size : t -> int
 val print : Format.formatter -> t -> unit
@@ -23,7 +20,7 @@ val is_false : t -> bool
 val true_ : t
 val false_ : t
 val atom_ :
-  [ `Left | `Right ] -> bool -> StateSet.elt -> t
+  [ `Left | `Right | `Epsilon ] -> bool -> StateSet.elt -> t
 val pred_ : Tree.Predicate.t -> t
 val not_ : t -> t
 val or_ : t -> t -> t
@@ -37,7 +34,7 @@ module Infix : sig
   val ( +| ) : t -> t -> t
   val ( *& ) : t -> t -> t
   val ( *+ ) :
-    [ `Left | `Right ] -> StateSet.elt -> t
+    [ `Left | `Right | `Epsilon ] -> StateSet.elt -> t
   val ( *- ) :
-    [ `Left | `Right ] -> StateSet.elt -> t
+    [ `Left | `Right | `Epsilon ] -> StateSet.elt -> t
 end