Module State_selection

module State_selection: sig .. end
A state selection is a set of states with operations for easy handling of state dependencies.
Since Carbon-20101201
Consult the Plugin Development Guide for additional details.


Type declarations


type t 
Type of a state selection.
Since Carbon-20101201
Consult the Plugin Development Guide for additional details.
val ty : t Type.t
Type value representing State_selection.t.
Since Carbon-20101201

Generic Builders


val empty : t
The empty selection.
Since Carbon-20101201
val full : t
The selection containing all the states.
Since Carbon-20101201
val singleton : State.t -> t
The selection containing only the given state.
Since Carbon-20101201
val of_list : State.t list -> t
The selection containing only the given list of states.
Since Carbon-20101201

Generic Getters


val is_empty : t -> bool
Since Carbon-20101201
Returns true iff the selection is empty.
val is_full : t -> bool
Since Carbon-20101201
Returns true iff the selection contains all the states.
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