mcrl2::lts::detail::sim_partitioner< LTS_TYPE >::state_bucket Struct Reference

#include <liblts_sim.h>

Public Attributes
ptrdiff_t	next
ptrdiff_t	prev

Detailed Description

template<class LTS_TYPE>
struct mcrl2::lts::detail::sim_partitioner< LTS_TYPE >::state_bucket

Definition at line 94 of file liblts_sim.h.

Member Data Documentation

next

template<class LTS_TYPE >

ptrdiff_t mcrl2::lts::detail::sim_partitioner< LTS_TYPE >::state_bucket::next

Definition at line 96 of file liblts_sim.h.

prev

template<class LTS_TYPE >

ptrdiff_t mcrl2::lts::detail::sim_partitioner< LTS_TYPE >::state_bucket::prev

Definition at line 97 of file liblts_sim.h.

---

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

• lts/include/mcrl2/lts/detail/liblts_sim.h