mCRL2
|
Public Member Functions | |
comm_entry (const comm_entry &)=delete | |
comm_entry & | operator= (const comm_entry &)=delete |
comm_entry (const communication_expression_list &communications) | |
~comm_entry () | |
std::size_t | size () const |
Public Attributes | |
std::vector< identifier_string_list > | lhs |
std::vector< identifier_string > | rhs |
std::vector< identifier_string_list > | tmp |
std::vector< bool > | match_failed |
Definition at line 7812 of file linearise.cpp.
|
delete |
|
inline |
Definition at line 7824 of file linearise.cpp.
|
inline |
Definition at line 7835 of file linearise.cpp.
|
delete |
|
inline |
Definition at line 7838 of file linearise.cpp.
std::vector<identifier_string_list> specification_basic_type::comm_entry::lhs |
Definition at line 7819 of file linearise.cpp.
std::vector< bool > specification_basic_type::comm_entry::match_failed |
Definition at line 7822 of file linearise.cpp.
std::vector<identifier_string> specification_basic_type::comm_entry::rhs |
Definition at line 7820 of file linearise.cpp.
std::vector<identifier_string_list> specification_basic_type::comm_entry::tmp |
Definition at line 7821 of file linearise.cpp.