mCRL2
|
Public Attributes | |
std::vector< action_list > | actions |
std::vector< data_expression > | conditions |
Definition at line 7783 of file linearise.cpp.
std::vector< action_list > specification_basic_type::tuple_list::actions |
Definition at line 7785 of file linearise.cpp.
std::vector< data_expression > specification_basic_type::tuple_list::conditions |
Definition at line 7786 of file linearise.cpp.