mCRL2
Loading...
Searching...
No Matches
specification_basic_type::comm_entry Class Reference

Public Member Functions

 comm_entry (const comm_entry &)=delete
 
comm_entryoperator= (const comm_entry &)=delete
 
 comm_entry (const communication_expression_list &communications)
 
 ~comm_entry ()
 
std::size_t size () const
 

Public Attributes

std::vector< identifier_string_listlhs
 
std::vector< identifier_stringrhs
 
std::vector< identifier_string_listtmp
 
std::vector< bool > match_failed
 

Detailed Description

Definition at line 7812 of file linearise.cpp.

Constructor & Destructor Documentation

◆ comm_entry() [1/2]

specification_basic_type::comm_entry::comm_entry ( const comm_entry )
delete

◆ comm_entry() [2/2]

specification_basic_type::comm_entry::comm_entry ( const communication_expression_list communications)
inline

Definition at line 7824 of file linearise.cpp.

◆ ~comm_entry()

specification_basic_type::comm_entry::~comm_entry ( )
inline

Definition at line 7835 of file linearise.cpp.

Member Function Documentation

◆ operator=()

comm_entry & specification_basic_type::comm_entry::operator= ( const comm_entry )
delete

◆ size()

std::size_t specification_basic_type::comm_entry::size ( ) const
inline

Definition at line 7838 of file linearise.cpp.

Member Data Documentation

◆ lhs

std::vector<identifier_string_list> specification_basic_type::comm_entry::lhs

Definition at line 7819 of file linearise.cpp.

◆ match_failed

std::vector< bool > specification_basic_type::comm_entry::match_failed

Definition at line 7822 of file linearise.cpp.

◆ rhs

std::vector<identifier_string> specification_basic_type::comm_entry::rhs

Definition at line 7820 of file linearise.cpp.

◆ tmp

std::vector<identifier_string_list> specification_basic_type::comm_entry::tmp

Definition at line 7821 of file linearise.cpp.


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