module State_selection:sig
..end
A state selection is a set of states with operations for easy handling of state dependencies.
type
t
Type of a state selection.
val ty : t Type.t
Type value representing State_selection.t
.
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.
val is_empty : t -> bool
true
iff the selection is empty.val is_full : t -> bool
true
iff the selection contains all the states.val mem : t -> State.t -> bool
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