mcrl2/data/substitutions/variable_substitution.h

Include file:

#include "mcrl2/data/substitutions/variable_substitution.h"

Classes

  • mcrl2::data::variable_substitution