mcrl2/pbes/significant_variables.h

Include file:

#include "mcrl2/pbes/significant_variables.h"

add your file description here.

Classes

  • mcrl2::pbes_system::detail::significant_variables_traverser

Functions

std::set<data::variable> mcrl2::pbes_system::significant_variables(const pbes_expression &x)