Module Jkind_axis.Axis_set

type t

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

val empty : t
val singleton : _ Axis.t -> t
val is_empty : t -> bool
val add : t -> _ Axis.t -> t
val remove : t -> _ Axis.t -> t
val mem : t -> _ Axis.t -> bool
val equal : t -> t -> bool
val union : t -> t -> t
val intersection : t -> t -> t
val diff : t -> t -> t
val is_subset : t -> t -> bool
val complement : t -> t
val to_seq : t -> Axis.packed Seq.t
val to_list : t -> Axis.packed list
val create : f:(axis:Axis.packed -> bool) -> t

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

val all : t

A set of all axes

val all_modal_axes : t

A set of all modal axes

val all_nonmodal_axes : t

A set of all nonmodal axes

val print : Format.formatter -> t -> unit