find.h File Reference

Search functions of the data library. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::data
	Namespace for all data library functionality.
namespace	mcrl2::data::detail

Functions
template<typename T , typename OutputIterator >
void	mcrl2::data::find_all_variables (const T &x, OutputIterator o)
template<typename T >
std::set< data::variable >	mcrl2::data::find_all_variables (const T &x)
template<typename T , typename OutputIterator >
void	mcrl2::data::find_free_variables (const T &x, OutputIterator o)
template<typename T , typename OutputIterator , typename VariableContainer >
void	mcrl2::data::find_free_variables_with_bound (const T &x, OutputIterator o, const VariableContainer &bound)
template<typename T >
std::set< data::variable >	mcrl2::data::find_free_variables (const T &x)
template<typename T , typename VariableContainer >
std::set< data::variable >	mcrl2::data::find_free_variables_with_bound (const T &x, VariableContainer const &bound)
template<typename T , typename OutputIterator >
void	mcrl2::data::find_identifiers (const T &x, OutputIterator o)
template<typename T >
std::set< core::identifier_string >	mcrl2::data::find_identifiers (const T &x)
template<typename T , typename OutputIterator >
void	mcrl2::data::find_sort_expressions (const T &x, OutputIterator o)
template<typename T >
std::set< data::sort_expression >	mcrl2::data::find_sort_expressions (const T &x)
template<typename T , typename OutputIterator >
void	mcrl2::data::find_function_symbols (const T &x, OutputIterator o)
template<typename T >
std::set< data::function_symbol >	mcrl2::data::find_function_symbols (const T &x)
template<typename T , typename OutputIterator >
void	mcrl2::data::find_data_expressions (const T &x, OutputIterator o)
	Returns all data expressions that occur in an object.
template<typename T >
std::set< data::data_expression >	mcrl2::data::find_data_expressions (const T &x)
	Returns all data expressions that occur in an object.
template<typename T >
bool	mcrl2::data::search_variable (const T &x, const variable &v)
	Returns true if the term has a given variable as subterm.
template<typename T >
bool	mcrl2::data::search_free_variable (const T &x, const variable &v)
	Returns true if the term has a given free variable as subterm.
template<typename Container >
bool	mcrl2::data::search_sort_expression (Container const &container, const sort_expression &s)
	Returns true if the term has a given sort expression as subterm.
template<typename Container >
bool	mcrl2::data::search_data_expression (Container const &container, const data_expression &s)
	Returns true if the term has a given data expression as subterm.

Detailed Description

Search functions of the data library.

Definition in file find.h.