#include <stochastic_lts_builder.h>
Definition at line 103 of file stochastic_lts_builder.h.
◆ transition()
mcrl2::lts::stochastic_lts_aut_builder::transition::transition |
( |
std::size_t |
from_, |
|
|
std::size_t |
label_, |
|
|
std::size_t |
to_ |
|
) |
| |
|
inline |
◆ operator<()
bool mcrl2::lts::stochastic_lts_aut_builder::transition::operator< |
( |
const transition & |
other | ) |
const |
|
inline |
◆ from
std::size_t mcrl2::lts::stochastic_lts_aut_builder::transition::from |
◆ label
std::size_t mcrl2::lts::stochastic_lts_aut_builder::transition::label |
◆ to
std::size_t mcrl2::lts::stochastic_lts_aut_builder::transition::to |
The documentation for this struct was generated from the following file: