add your file description here. More...

Classes
class	mcrl2::data::untyped_data_parameter
	\brief An untyped parameter More...

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.

Typedefs
typedef atermpp::term_list< untyped_data_parameter >	mcrl2::data::untyped_data_parameter_list
	\brief list of untyped_data_parameters

typedef std::vector< untyped_data_parameter >	mcrl2::data::untyped_data_parameter_vector
	\brief vector of untyped_data_parameters

Functions
template<class... ARGUMENTS>
void	mcrl2::data::make_untyped_data_parameter (atermpp::aterm &t, const ARGUMENTS &... args)

bool	mcrl2::data::is_untyped_data_parameter (const atermpp::aterm &x)

std::string	mcrl2::data::pp (const untyped_data_parameter &x)

std::ostream &	mcrl2::data::operator<< (std::ostream &out, const untyped_data_parameter &x)

void	mcrl2::data::swap (untyped_data_parameter &t1, untyped_data_parameter &t2)
	\brief swap overload

Detailed Description

add your file description here.

Classes