Multi-action class. More...

Classes
class	mcrl2::lps::multi_action
	\brief A timed multi-action More...

struct	std::hash< mcrl2::lps::multi_action >
	specialization of the standard std::hash function for an action_label_string. More...

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

namespace	mcrl2::lps
	The main namespace for the LPS library.

namespace	std
	STL namespace.

Typedefs
typedef atermpp::term_list< multi_action >	mcrl2::lps::multi_action_list
	\brief list of multi_actions

typedef std::vector< multi_action >	mcrl2::lps::multi_action_vector
	\brief vector of multi_actions

Functions
bool	mcrl2::lps::is_multi_action (const atermpp::aterm &x)

template<class... ARGUMENTS>
void	mcrl2::lps::make_multi_action (atermpp::aterm &t, const ARGUMENTS &... args)

std::string	mcrl2::lps::pp (const multi_action &x)

std::ostream &	mcrl2::lps::operator<< (std::ostream &out, const multi_action &x)

void	mcrl2::lps::swap (multi_action &t1, multi_action &t2)
	\brief swap overload

lps::multi_action	mcrl2::lps::normalize_sorts (const multi_action &x, const data::sort_specification &sortspec)

lps::multi_action	mcrl2::lps::translate_user_notation (const lps::multi_action &x)

std::set< data::variable >	mcrl2::lps::find_all_variables (const lps::multi_action &x)

std::set< data::variable >	mcrl2::lps::find_free_variables (const lps::multi_action &x)

data::data_expression	mcrl2::lps::equal_multi_actions (const multi_action &a, const multi_action &b)
	Returns a data expression that expresses under which conditions the multi actions a and b are equal. The multi actions may contain free variables.

data::data_expression	mcrl2::lps::not_equal_multi_actions (const multi_action &a, const multi_action &b)
	Returns a pbes expression that expresses under which conditions the multi actions a and b are not equal. The multi actions may contain free variables.

Detailed Description

Multi-action class.

Definition in file multi_action.h.

Classes