data_utility.h File Reference

Add your file description here. 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 Container >
data::sort_expression_list	mcrl2::data::detail::parameter_sorts (const Container &parameters)
	Returns the sorts of a sequence of parameters.
template<class VariableContainer >
bool	mcrl2::data::detail::unique_names (const VariableContainer &variables)
	Returns true if the names of the given variables are unique.
bool	mcrl2::data::detail::check_assignment_variables (assignment_list const &assignments, variable_list const &variables)
	Returns true if the left hand sides of assignments are contained in variables.
template<typename SortContainer >
bool	mcrl2::data::detail::check_sort (const sort_expression &s, const SortContainer &sorts)
	Returns true if the domain sorts and the codomain sort of the given sort s are contained in sorts.
template<typename Iterator , typename SortContainer >
bool	mcrl2::data::detail::check_sorts (Iterator first, Iterator last, const SortContainer &sorts)
	Returns true if the domain sorts and the range sort of the sorts in the sequence [first, last) are contained in sorts.
template<typename VariableContainer , typename SortContainer >
bool	mcrl2::data::detail::check_variable_sorts (const VariableContainer &variables, const SortContainer &sorts)
	Returns true if the domain sorts and the range sort of the given variables are contained in sorts.
bool	mcrl2::data::detail::check_variable_names (variable_list const &variables, const std::set< core::identifier_string > &names)
	Returns true if names of the given variables are not contained in names.
template<typename Container , typename SortContainer >
bool	mcrl2::data::detail::check_data_spec_sorts (const Container &container, const SortContainer &sorts)
	Returns true if the domain sorts and range sort of the given functions are contained in sorts.

Detailed Description

Add your file description here.

Definition in file data_utility.h.