find_free_variables.h File Reference

Add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::pbes_system::detail::find_free_variables_traverser< OutputIterator >

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.
namespace	mcrl2::pbes_system::detail

Functions
template<typename OutputIterator >
void	mcrl2::pbes_system::detail::find_free_variables (const pbes_expression &x, OutputIterator out, const data::variable_list &bound_variables, bool search_propositional_variables=true)
std::set< data::variable >	mcrl2::pbes_system::detail::find_free_variables (const pbes_expression &x, const data::variable_list &bound_variables, bool search_propositional_variables=true)
std::vector< data::variable >	mcrl2::pbes_system::detail::find_free_variables_in_order (const pbes_expression &x, const data::variable_list &bound_variables, bool search_propositional_variables=true)

Detailed Description

Add your file description here.

Definition in file find_free_variables.h.