add your file description here. More...

Classes
class	mcrl2::process::untyped_multi_action
	\brief An untyped multi action or data application More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.

namespace	mcrl2::process
	The main namespace for the Process library.

Typedefs
typedef atermpp::term_list< untyped_multi_action >	mcrl2::process::untyped_multi_action_list
	\brief list of untyped_multi_actions

typedef std::vector< untyped_multi_action >	mcrl2::process::untyped_multi_action_vector
	\brief vector of untyped_multi_actions

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

bool	mcrl2::process::is_untyped_multi_action (const atermpp::aterm &x)

std::string	mcrl2::process::pp (const untyped_multi_action &x)

std::ostream &	mcrl2::process::operator<< (std::ostream &out, const untyped_multi_action &x)

void	mcrl2::process::swap (untyped_multi_action &t1, untyped_multi_action &t2)
	\brief swap overload

Detailed Description

add your file description here.

Classes