mCRL2
Loading...
Searching...
No Matches
specification_basic_type::tuple_list Struct Reference

Public Attributes

std::vector< action_listactions
 
std::vector< data_expressionconditions
 

Detailed Description

Definition at line 7783 of file linearise.cpp.

Member Data Documentation

◆ actions

std::vector< action_list > specification_basic_type::tuple_list::actions

Definition at line 7785 of file linearise.cpp.

◆ conditions

std::vector< data_expression > specification_basic_type::tuple_list::conditions

Definition at line 7786 of file linearise.cpp.


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