mcrl2::lps::detail::tuple_list Struct Reference

#include <linearise_communication.h>

Public Member Functions
std::size_t	size () const
	tuple_list ()=default
	tuple_list (const std::vector< process::action_list > &actions_, const std::vector< data::data_expression > &conditions_)
	tuple_list (std::vector< process::action_list > &&actions_, std::vector< data::data_expression > &&conditions_)

Public Attributes
std::vector< process::action_list >	actions
std::vector< data::data_expression >	conditions

Detailed Description

a tuple_list contains pairs of actions (multi-action) and the condition under which this action can occur.

Definition at line 54 of file linearise_communication.h.

Constructor & Destructor Documentation

tuple_list() [1/3]

mcrl2::lps::detail::tuple_list::tuple_list ( )

default

tuple_list() [2/3]

mcrl2::lps::detail::tuple_list::tuple_list ( const std::vector< process::action_list > &  actions_, const std::vector< data::data_expression > &  conditions_  )

inline

Definition at line 67 of file linearise_communication.h.

tuple_list() [3/3]

mcrl2::lps::detail::tuple_list::tuple_list ( std::vector< process::action_list > &&  actions_, std::vector< data::data_expression > &&  conditions_  )

inline

Definition at line 72 of file linearise_communication.h.

Member Function Documentation

size()

std::size_t mcrl2::lps::detail::tuple_list::size ( ) const

inline

Definition at line 59 of file linearise_communication.h.

Member Data Documentation

actions

std::vector<process::action_list> mcrl2::lps::detail::tuple_list::actions

Definition at line 56 of file linearise_communication.h.

conditions

std::vector<data::data_expression> mcrl2::lps::detail::tuple_list::conditions

Definition at line 57 of file linearise_communication.h.

---

The documentation for this struct was generated from the following file:

• lps/include/mcrl2/lps/linearise_communication.h