mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::fsm_parameter Class Reference

#include <fsm_builder.h>

Public Member Functions

 fsm_parameter (const std::string &name, const std::string &cardinality, const std::string &sort, const std::vector< std::string > &values)
 
const std::string & name () const
 
std::string & name ()
 
const std::string & sort () const
 
std::string & sort ()
 
std::size_t cardinality () const
 
std::size_t & cardinality ()
 
const std::vector< std::string > & values () const
 
std::vector< std::string > & values ()
 

Protected Attributes

std::string m_name
 
std::size_t m_cardinality
 
std::string m_sort
 
std::vector< std::string > m_values
 

Detailed Description

Definition at line 79 of file fsm_builder.h.

Constructor & Destructor Documentation

◆ 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

Definition at line 88 of file fsm_builder.h.

Member Function Documentation

◆ cardinality() [1/2]

std::size_t & mcrl2::lts::detail::fsm_parameter::cardinality ( )
inline

Definition at line 121 of file fsm_builder.h.

◆ cardinality() [2/2]

std::size_t mcrl2::lts::detail::fsm_parameter::cardinality ( ) const
inline

Definition at line 116 of file fsm_builder.h.

◆ name() [1/2]

std::string & mcrl2::lts::detail::fsm_parameter::name ( )
inline

Definition at line 100 of file fsm_builder.h.

◆ name() [2/2]

const std::string & mcrl2::lts::detail::fsm_parameter::name ( ) const
inline

Definition at line 95 of file fsm_builder.h.

◆ sort() [1/2]

std::string & mcrl2::lts::detail::fsm_parameter::sort ( )
inline

Definition at line 110 of file fsm_builder.h.

◆ sort() [2/2]

const std::string & mcrl2::lts::detail::fsm_parameter::sort ( ) const
inline

Definition at line 105 of file fsm_builder.h.

◆ values() [1/2]

std::vector< std::string > & mcrl2::lts::detail::fsm_parameter::values ( )
inline

Definition at line 131 of file fsm_builder.h.

◆ values() [2/2]

const std::vector< std::string > & mcrl2::lts::detail::fsm_parameter::values ( ) const
inline

Definition at line 126 of file fsm_builder.h.

Member Data Documentation

◆ m_cardinality

std::size_t mcrl2::lts::detail::fsm_parameter::m_cardinality
protected

Definition at line 83 of file fsm_builder.h.

◆ m_name

std::string mcrl2::lts::detail::fsm_parameter::m_name
protected

Definition at line 82 of file fsm_builder.h.

◆ m_sort

std::string mcrl2::lts::detail::fsm_parameter::m_sort
protected

Definition at line 84 of file fsm_builder.h.

◆ m_values

std::vector<std::string> mcrl2::lts::detail::fsm_parameter::m_values
protected

Definition at line 85 of file fsm_builder.h.


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