Full implem BU Oracle + eval_form in Formula (impossible in Asta) + transitions_lab...

[tatoo.git] / src / formula.mli

diff --git a/src/formula.mli b/src/formula.mli
index 46cbe65..e108758 100644 (file)
--- a/src/formula.mli
+++ b/src/formula.mli
@@ -52,6 +52,9 @@ val compare : t -> t -> int
 val size : t -> int
 (** Syntactic size of the formula *)
 
+val eval_form : (StateSet.t * StateSet.t) -> t -> bool
+(** [eval_form s_1,s_2 F] evaluates the formula [F] on [(s_1,s_2)] *)
+
 val print : Format.formatter -> t -> unit
 (** Pretty printer *)