electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE

Parameters

module Ltl : Solver.LTL

Signature

type atomic = Ltl.Atomic.t
type ltl = Ltl.t
type goal = G.t
val compute_domain_codomain : TS.t -> ( ( Atom.t -> unit ) -> unit ) * ( ( Atom.t -> unit ) -> unit )
val compute_tc_length : TS.t -> int
val iter_squares : G.exp -> int -> G.exp
val eligible_pairs : (Tuple.t * TS.t * TS.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