package electrod

  1. Overview
  2. Docs
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