Module Types.Jkind_mod_bounds
The mod-bounds of a jkind
module Crossing = Mode.Crossingmodule Externality = Jkind_axis.Externalitymodule Nullability = Jkind_axis.Nullabilitymodule Separability = Jkind_axis.Separabilityval create :
Crossing.t ->
externality:Externality.t ->
nullability:Nullability.t ->
separability:Separability.t ->
Types.Jkind_mod_bounds.tval crossing : Types.Jkind_mod_bounds.t -> Crossing.tval externality : Types.Jkind_mod_bounds.t -> Externality.tval nullability : Types.Jkind_mod_bounds.t -> Nullability.tval separability : Types.Jkind_mod_bounds.t -> Separability.tval set_crossing :
Crossing.t ->
Types.Jkind_mod_bounds.t ->
Types.Jkind_mod_bounds.tval set_externality :
Externality.t ->
Types.Jkind_mod_bounds.t ->
Types.Jkind_mod_bounds.tval set_nullability :
Nullability.t ->
Types.Jkind_mod_bounds.t ->
Types.Jkind_mod_bounds.tval set_separability :
Separability.t ->
Types.Jkind_mod_bounds.t ->
Types.Jkind_mod_bounds.tval set_max_in_set :
Types.Jkind_mod_bounds.t ->
Jkind_axis.Axis_set.t ->
Types.Jkind_mod_bounds.tset_max_in_set bounds axes sets all the axes in axes to their max within bounds
val set_min_in_set :
Types.Jkind_mod_bounds.t ->
Jkind_axis.Axis_set.t ->
Types.Jkind_mod_bounds.tset_min_in_set bounds axes sets all the axes in axes to their min within bounds
val is_max_within_set :
Types.Jkind_mod_bounds.t ->
Jkind_axis.Axis_set.t ->
boolis_max_within_set bounds axes returns whether or not all the axes in axes are max within bounds
val is_max : Types.Jkind_mod_bounds.t -> boolval debug_print : Stdlib.Format.formatter -> Types.Jkind_mod_bounds.t -> unit