#include <fsm_builder.h>
Definition at line 79 of file fsm_builder.h.
◆ fsm_parameter()
mcrl2::lts::detail::fsm_parameter::fsm_parameter |
( |
const std::string & |
name, |
|
|
const std::string & |
cardinality, |
|
|
const std::string & |
sort, |
|
|
const std::vector< std::string > & |
values |
|
) |
| |
|
inline |
◆ cardinality() [1/2]
std::size_t & mcrl2::lts::detail::fsm_parameter::cardinality |
( |
| ) |
|
|
inline |
◆ cardinality() [2/2]
std::size_t mcrl2::lts::detail::fsm_parameter::cardinality |
( |
| ) |
const |
|
inline |
◆ name() [1/2]
std::string & mcrl2::lts::detail::fsm_parameter::name |
( |
| ) |
|
|
inline |
◆ name() [2/2]
const std::string & mcrl2::lts::detail::fsm_parameter::name |
( |
| ) |
const |
|
inline |
◆ sort() [1/2]
std::string & mcrl2::lts::detail::fsm_parameter::sort |
( |
| ) |
|
|
inline |
◆ sort() [2/2]
const std::string & mcrl2::lts::detail::fsm_parameter::sort |
( |
| ) |
const |
|
inline |
◆ values() [1/2]
std::vector< std::string > & mcrl2::lts::detail::fsm_parameter::values |
( |
| ) |
|
|
inline |
◆ values() [2/2]
const std::vector< std::string > & mcrl2::lts::detail::fsm_parameter::values |
( |
| ) |
const |
|
inline |
◆ m_cardinality
std::size_t mcrl2::lts::detail::fsm_parameter::m_cardinality |
|
protected |
◆ m_name
std::string mcrl2::lts::detail::fsm_parameter::m_name |
|
protected |
◆ m_sort
std::string mcrl2::lts::detail::fsm_parameter::m_sort |
|
protected |
◆ m_values
std::vector<std::string> mcrl2::lts::detail::fsm_parameter::m_values |
|
protected |
The documentation for this class was generated from the following file: