find.h File Reference

Search functions of the pbes library. More...

Go to the source code of this file.

Classes
struct	mcrl2::pbes_system::detail::find_propositional_variables_traverser< Traverser, OutputIterator >

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

Functions
template<template< class > class Traverser, class OutputIterator >
find_propositional_variables_traverser< Traverser, OutputIterator >	mcrl2::pbes_system::detail::make_find_propositional_variables_traverser (OutputIterator out)
template<typename T , typename OutputIterator >
void	mcrl2::pbes_system::find_all_variables (const T &x, OutputIterator o)
template<typename T >
std::set< data::variable >	mcrl2::pbes_system::find_all_variables (const T &x)
template<typename T , typename OutputIterator >
void	mcrl2::pbes_system::find_free_variables (const T &x, OutputIterator o)
template<typename T , typename OutputIterator , typename VariableContainer >
void	mcrl2::pbes_system::find_free_variables_with_bound (const T &x, OutputIterator o, const VariableContainer &bound)
template<typename T >
std::set< data::variable >	mcrl2::pbes_system::find_free_variables (const T &x)
template<typename T , typename VariableContainer >
std::set< data::variable >	mcrl2::pbes_system::find_free_variables_with_bound (const T &x, VariableContainer const &bound)
template<typename T , typename OutputIterator >
void	mcrl2::pbes_system::find_identifiers (const T &x, OutputIterator o)
template<typename T >
std::set< core::identifier_string >	mcrl2::pbes_system::find_identifiers (const T &x)
template<typename T , typename OutputIterator >
void	mcrl2::pbes_system::find_sort_expressions (const T &x, OutputIterator o)
template<typename T >
std::set< data::sort_expression >	mcrl2::pbes_system::find_sort_expressions (const T &x)
template<typename T , typename OutputIterator >
void	mcrl2::pbes_system::find_function_symbols (const T &x, OutputIterator o)
template<typename T >
std::set< data::function_symbol >	mcrl2::pbes_system::find_function_symbols (const T &x)
template<typename Container , typename OutputIterator >
void	mcrl2::pbes_system::find_propositional_variable_instantiations (Container const &container, OutputIterator o)
	Returns all data variables that occur in a range of expressions.
template<typename Container >
std::set< propositional_variable_instantiation >	mcrl2::pbes_system::find_propositional_variable_instantiations (Container const &container)
	Returns all data variables that occur in a range of expressions.
template<typename T >
bool	mcrl2::pbes_system::search_variable (const T &x, const data::variable &v)
	Returns true if the term has a given variable as subterm.

Detailed Description

Search functions of the pbes library.

Definition in file find.h.