Add backward moves in the syntax of the automaton.

[SXSI/xpathcomp.git] / src / formula.mli

diff --git a/src/formula.mli b/src/formula.mli
index 88763ee..1dd05e2 100644 (file)
--- 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
@@ -23,7 +23,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 +37,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