module Spec_tools: sig
.. end
Given two bool arrays with the same length, it returns a fresh bool array corresponding to a logical OR between cells with same index from the two arrays.
val numberOfStates : int Pervasives.ref
val numberOfTransitions : int Pervasives.ref
val setNumberOfStates : int -> unit
val setNumberOfTransitions : int -> unit
val mk_empty_pre_st : unit -> bool array
val mk_empty_pre_or_post : unit -> bool array * bool array
val mk_full_pre_or_post : unit -> bool array * bool array
val mk_empty_spec : unit -> bool array * bool array * bool array * bool array
val bool_array_and : bool array -> bool array -> bool array
Given two bool arrays with the same length, it returns a fresh bool array corresponding to a logical OR between cells with same index from the two arrays.
val bool_array_or : bool array -> bool array -> bool array
Given two bool arrays with the same length, it returns a fresh bool array corresponding to a logical AND between cells with same index from the two arrays.
val bool_array_eq : 'a array -> 'a array -> bool
Given two bool arrays with the same length, it returns true if and only if their cells are equal for each index.
val double_bool_array_and : bool array * bool array -> bool array * bool array -> bool array * bool array
val quad_bool_array_and : bool array * bool array * bool array * bool array ->
bool array * bool array * bool array * bool array ->
bool array * bool array * bool array * bool array
val double_bool_array_or : bool array * bool array -> bool array * bool array -> bool array * bool array
val quad_bool_array_or : bool array * bool array * bool array * bool array ->
bool array * bool array * bool array * bool array ->
bool array * bool array * bool array * bool array
val double_bool_array_eq : 'a array * 'b array -> 'a array * 'b array -> bool
val quad_bool_array_eq : 'a array * 'b array * 'c array * 'd array ->
'a array * 'b array * 'c array * 'd array -> bool
type
pre_post_bycase_t = bool array array
type
double_pre_post_bycase_t = pre_post_bycase_t * pre_post_bycase_t
type
quad_pre_post_bycase_t = pre_post_bycase_t * pre_post_bycase_t *
pre_post_bycase_t * pre_post_bycase_t
val mk_empty_pre_st_bycase : unit -> bool array array
val mk_empty_pre_or_post_bycase : unit -> bool array array * bool array array
val mk_full_pre_or_post_bycase : unit -> bool array array * bool array array
val mk_empty_spec_bycase : unit ->
bool array array * bool array array * bool array array * bool array array
val pre_flattening : bool array array * bool array array -> bool array * bool array
val post_pseudo_flattening : bool array array * bool array array -> bool array array * bool array array
val bool_array_and_bycase : bool array array -> bool array array -> bool array array
Given two bool arrays with the same length, it returns a fresh bool array corresponding to a logical OR between cells with same index from the two arrays.
val bool_array_or_bycase : bool array array -> bool array array -> bool array array
Given two bool arrays with the same length, it returns a fresh bool array corresponding to a logical AND between cells with same index from the two arrays.
val bool_array_eq_bycase : 'a array array -> 'a array array -> bool
Given two bool arrays with the same length, it returns true if and only if their cells are equal for each index.
val double_bool_array_and_bycase : bool array array * bool array array ->
bool array array * bool array array -> bool array array * bool array array
val quad_bool_array_and_bycase : bool array array * bool array array * bool array array * bool array array ->
bool array array * bool array array * bool array array * bool array array ->
bool array array * bool array array * bool array array * bool array array
val double_bool_array_or_bycase : bool array array * bool array array ->
bool array array * bool array array -> bool array array * bool array array
val quad_bool_array_or_bycase : bool array array * bool array array * bool array array * bool array array ->
bool array array * bool array array * bool array array * bool array array ->
bool array array * bool array array * bool array array * bool array array
val double_bool_array_eq_bycase : 'a array array * 'b array array -> 'a array array * 'b array array -> bool
val quad_bool_array_eq_bycase : 'a array array * 'b array array * 'c array array * 'd array array ->
'a array array * 'b array array * 'c array array * 'd array array -> bool
val is_empty_pre_post__ : bool array -> bool
val is_empty_pre_post : bool array * 'a -> bool
Return false if and only if all states are associated to false
val is_empty_post_bc : bool array array * 'a -> bool
Return false if and only if all states are associated to false
val separator : string
val concat : string list -> string
val debug_display_stmt_pre : bool array -> string -> string
val debug_display_spec : bool array * 'a * bool array * 'b -> string -> string
val debug_display_stmt_all_pre : bool array * bool array -> string
val is_empty_behavior : bool array -> bool
val assocs_to_string : bool array -> string -> string
val debug_display_stmt_pre_bycase : bool array array -> string -> string
val debug_display_spec_bycase : bool array array * 'a * bool array array * 'b -> string -> string
val debug_display_stmt_all_pre_bycase : bool array array * bool array array -> string