sequence_algorithm.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 Iterator >
bool	mcrl2::data::detail::sequence_contains_duplicates (Iterator first, Iterator last)
	Returns true if the sequence [first, last) contains duplicates.
template<typename Iterator1 , typename Iterator2 >
bool	mcrl2::data::detail::sequences_do_overlap (Iterator1 first1, Iterator1 last1, Iterator2 first2, Iterator2 last2)
	Returns true if the two sequences [first1, last1) and [first2, last2) have a non empty intersection.
template<typename Iterator , typename T >
bool	mcrl2::data::detail::sequence_is_subset_of_set (Iterator first, Iterator last, const std::set< T > &s)
	Returns true if all elements of the range [first, last) are element of the set s.
template<class Container >
std::set< typename Container::value_type >	mcrl2::data::detail::make_set (const Container &c)
	Makes a set of the given container.
template<typename Sequence >
bool	mcrl2::data::detail::sequence_empty_intersection (Sequence s1, Sequence s2)
	Determines if the unordered sequences s1 and s2 have an empty intersection.

Detailed Description

Add your file description here.

Definition in file sequence_algorithm.h.