package electrod
Formal analysis for the Electrod formal pivot language
Install
dune-project
Dependency
Authors
Maintainers
Sources
electrod-0.8.0.tbz
sha256=dd47a6d755dc80a9a75fa21bda7a6507316ca2a33f7201d25ee9ba01d902a6a2
sha512=abc8bb1194df32bfe3c00f499dd989868c9ad208c8c7401085b9c18e87890eae1c087dbbb9bf128f95f4e759de27e1d7a6d6b2f7a5e6a9b000b469d72c77b87a
doc/electrod.libelectrod/Libelectrod/Elo_to_smv1/Elo_to_SMV_LTL/class-environment/index.html
Class Elo_to_SMV_LTL.environmentSource
val bounds_exp_aux : (Libelectrod.Elo.exp * Libelectrod__Elo_to_ltl1.stack) ->
Libelectrod.Exp_bounds.boundsmethod is_const : Libelectrod.Name.t -> boolmethod make_atom : Libelectrod.Name.t -> Libelectrod.Tuple.t -> SMV_LTL.tmethod must_may_sup : Libelectrod__Elo_to_ltl1.stack ->
Libelectrod.Elo.exp ->
Libelectrod.Exp_bounds.boundsmethod relation_arity : Libelectrod.Name.t -> int