Module State_selection

module State_selection: sig .. end

A state selection is a set of states with operations for easy handling of state dependencies.


Type declarations

type t 

Type of a state selection.

val ty : t Type.t

Type value representing State_selection.t.

Generic Builders

val empty : t

The empty selection.

val full : t

The selection containing all the states.

val singleton : State.t -> t

The selection containing only the given state.

val of_list : State.t list -> t

The selection containing only the given list of states.

Generic Getters

val is_empty : t -> bool
val is_full : t -> bool
val mem : t -> State.t -> bool

Specific selections

module type S = sig .. end

Operations over selections which depend on a State Dependency Graph implementation.

module Static: S 

Operations over selections which depend on State_dependency_graph.graph.

include State_selection.S