mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::stochastic_lts_aut_builder::transition Struct Reference

#include <stochastic_lts_builder.h>

Public Member Functions

 transition (std::size_t from_, std::size_t label_, std::size_t to_)
 
bool operator< (const transition &other) const
 

Public Attributes

std::size_t from
 
std::size_t label
 
std::size_t to
 

Detailed Description

Definition at line 103 of file stochastic_lts_builder.h.

Constructor & Destructor Documentation

◆ transition()

mcrl2::lts::stochastic_lts_aut_builder::transition::transition ( std::size_t  from_,
std::size_t  label_,
std::size_t  to_ 
)
inline

Definition at line 109 of file stochastic_lts_builder.h.

Member Function Documentation

◆ operator<()

bool mcrl2::lts::stochastic_lts_aut_builder::transition::operator< ( const transition other) const
inline

Definition at line 113 of file stochastic_lts_builder.h.

Member Data Documentation

◆ from

std::size_t mcrl2::lts::stochastic_lts_aut_builder::transition::from

Definition at line 105 of file stochastic_lts_builder.h.

◆ label

std::size_t mcrl2::lts::stochastic_lts_aut_builder::transition::label

Definition at line 106 of file stochastic_lts_builder.h.

◆ to

std::size_t mcrl2::lts::stochastic_lts_aut_builder::transition::to

Definition at line 107 of file stochastic_lts_builder.h.


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