Module `Jkind_axis.Axis_set`

type t

A set of Axis.t, represented as a bitfield for efficiency.

val empty : Jkind_axis.Axis_set.t

val singleton : _ Jkind_axis.Axis.t -> Jkind_axis.Axis_set.t

val is_empty : Jkind_axis.Axis_set.t -> bool

val add : Jkind_axis.Axis_set.t -> _ Jkind_axis.Axis.t -> Jkind_axis.Axis_set.t

val remove : 
  Jkind_axis.Axis_set.t ->
  _ Jkind_axis.Axis.t ->
  Jkind_axis.Axis_set.t

val mem : Jkind_axis.Axis_set.t -> _ Jkind_axis.Axis.t -> bool

val equal : Jkind_axis.Axis_set.t -> Jkind_axis.Axis_set.t -> bool

val union : 
  Jkind_axis.Axis_set.t ->
  Jkind_axis.Axis_set.t ->
  Jkind_axis.Axis_set.t

val intersection : 
  Jkind_axis.Axis_set.t ->
  Jkind_axis.Axis_set.t ->
  Jkind_axis.Axis_set.t

val diff : 
  Jkind_axis.Axis_set.t ->
  Jkind_axis.Axis_set.t ->
  Jkind_axis.Axis_set.t

val is_subset : Jkind_axis.Axis_set.t -> Jkind_axis.Axis_set.t -> bool

val complement : Jkind_axis.Axis_set.t -> Jkind_axis.Axis_set.t

val to_seq : Jkind_axis.Axis_set.t -> Jkind_axis.Axis.packed Stdlib.Seq.t

val to_list : Jkind_axis.Axis_set.t -> Jkind_axis.Axis.packed list

val create : f:(axis:Jkind_axis.Axis.packed -> bool) -> Jkind_axis.Axis_set.t

Create a t, specify for each axis whether it should be included

val all : Jkind_axis.Axis_set.t

A set of all axes

val all_modal_axes : Jkind_axis.Axis_set.t

A set of all modal axes

val all_nonmodal_axes : Jkind_axis.Axis_set.t

A set of all nonmodal axes

val print : Stdlib.Format.formatter -> Jkind_axis.Axis_set.t -> unit

Module Jkind_axis.Axis_set