data_sequence_algorithm.h File Reference

add your file description here. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
namespace	mcrl2::data
namespace	mcrl2::data::detail

Functions
variable_list	mcrl2::data::detail::set_intersection (const variable_list &x, const std::set< variable > &y)
	Returns the intersection of a list and a set of variables.
variable_list	mcrl2::data::detail::set_difference (const variable_list &x, const std::set< variable > &y)
	Returns a list of variables equal to the first list, not containing the elements in the second.

Detailed Description

add your file description here.

Definition in file data_sequence_algorithm.h.