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

diff --git a/src/formula.mli b/src/formula.mli
new file mode 100644
index 0000000..88763ee
--- /dev/null
+++ b/src/formula.mli
@@ -0,0 +1,43 @@
+type 'a expr =
+    False
+    | True
+    | Or of 'a * 'a
+    | And of 'a * 'a
+    | Atom of ([ `Left |`Right ] * bool * State.t)
+    | Pred of Tree.Predicate.t
+
+type t
+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 compare : t -> t -> int
+val size : t -> int
+val print : Format.formatter -> t -> unit
+val is_true : t -> bool
+val is_false : t -> bool
+val true_ : t
+val false_ : t
+val atom_ :
+  [ `Left | `Right ] -> bool -> StateSet.elt -> t
+val pred_ : Tree.Predicate.t -> t
+val not_ : t -> t
+val or_ : t -> t -> t
+val and_ : t -> t -> t
+val of_bool : bool -> t
+val or_pred : t -> t -> t
+val and_pred : t -> t -> t
+
+
+module Infix : sig
+  val ( +| ) : t -> t -> t
+  val ( *& ) : t -> t -> t
+  val ( *+ ) :
+    [ `Left | `Right ] -> StateSet.elt -> t
+  val ( *- ) :
+    [ `Left | `Right ] -> StateSet.elt -> t
+end