Module Flags.C2I

module C2I: sig .. end

C2I flags



val dnf_size : unit -> int
Number of disjuncts in the DNF constructed by C2I.
val int_cube_size : unit -> int
Number of int cubes in the DNF constructed by C2I.
val real_cube_size : unit -> int
Number of real cubes in the DNF constructed by C2I.
val modes : unit -> bool
Whether mode sub candidate is activated in c2i.