package electrod

  1. Overview
  2. Docs

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 iter_tc : G.exp -> int -> G.exp
val eligible_pairs : (Tuple.t * TS.t * TS.t) -> (Tuple.t * Tuple.t) Sequence.t
class environment : Elo.t -> object ... end
class +'c converter : environment -> object ... end
val formula_as_comment : Elo.fml -> string
val convert : Elo.t -> Elo.fml -> string * ltl
OCaml

Innovation. Community. Security.