electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
type atomic = SMV_LTL.Atomic.t
type ltl = SMV_LTL.t
type goal = Elo.t
val compute_domain_codomain : Tuple_set.t -> ( ( Atom.t -> unit ) -> unit ) * ( ( Atom.t -> unit ) -> unit )
val compute_tc_length : Tuple_set.t -> int
val iter_squares : Elo.exp -> int -> Elo.exp
val eligible_pairs : (Tuple.t * Tuple_set.t * Tuple_set.t) -> (Tuple.t * Tuple.t) Iter.t
class environment : Elo.t -> object ... end
class !'a converter : environment -> object ... end
val formula_as_comment : Elo.fml -> string
val convert : Elo.t -> Elo.fml -> string * ltl