package safa

  1. Overview
  2. Docs

Parameters

module Q : Common.QUEUE

Signature

val equiv : ?tracer:([ `CE | `OK | `Skip ] -> 's -> 's -> unit) -> ('s, 'k) Bdd.unifier -> ('s, 'v, 'k, 'o) Automata.sdfa -> 's -> 's -> ('s * 's * ('v, 'k) Common.gstring_) option
val equiv_c : ?tracer:([ `CE | `OK | `Skip ] -> Common.int_set -> Common.int_set -> unit) -> (Common.int_set, 'k) Bdd.unifier -> (Common.int_set, 'v, 'k, 'o) Automata.sdfa -> Common.int_set -> Common.int_set -> (Common.int_set * Common.int_set * ('v, 'k) Common.gstring_) option
OCaml

Innovation. Community. Security.