mcrl2/pbes/remove_equations.h

Include file:

#include "mcrl2/pbes/remove_equations.h"

add your file description here.

Functions

std::set<propositional_variable> mcrl2::pbes_system::reachable_variables(const pbes &p)

std::vector<propositional_variable> mcrl2::pbes_system::remove_unreachable_variables(pbes &p)

Removes equations that are not (syntactically) reachable from the initial state of a PBES.

Returns: The removed variables

Functions

std::string mcrl2::pbes_system::detail::print_removed_equations(const std::vector<propositional_variable> &removed)