Module State_selection

module State_selection: sig .. end

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

Consult the Plugin Development Guide

type t

Type of a state selection.

Consult the Plugin Development Guide

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

val is_full : t -> bool

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