mcrl2::lts::state_space_generator< Stochastic, Timed, Specification >::aligned_bool Struct Reference

#include <state_space_generator.h>

Public Attributes
size_t	m_bool

Detailed Description

template<bool Stochastic, bool Timed, typename Specification>
struct mcrl2::lts::state_space_generator< Stochastic, Timed, Specification >::aligned_bool

Definition at line 690 of file state_space_generator.h.

Member Data Documentation

m_bool

template<bool Stochastic, bool Timed, typename Specification >

size_t mcrl2::lts::state_space_generator< Stochastic, Timed, Specification >::aligned_bool::m_bool

Definition at line 692 of file state_space_generator.h.

---

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

• lts/include/mcrl2/lts/state_space_generator.h