mcrl2/data/selection.h

Include file:

#include "mcrl2/data/selection.h"

Provides selection utility functionality.

Classes

• mcrl2::data::used_data_equation_selector