mcrl2::lts::refinement_statistics< T > Struct Template Reference

#include <liblts_failures_refinement.h>

Public Member Functions
	refinement_statistics (detail::anti_chain_type &antichain, std::deque< T > &working)

Public Attributes
detail::anti_chain_type &	antichain
std::deque< T > &	working
std::size_t	max_working = 0
std::size_t	max_antichain = 0
std::size_t	antichain_misses = 0
std::size_t	antichain_inserts = 0

Detailed Description

template<typename T>
struct mcrl2::lts::refinement_statistics< T >

Definition at line 174 of file liblts_failures_refinement.h.

Constructor & Destructor Documentation

refinement_statistics()

template<typename T >

mcrl2::lts::refinement_statistics< T >::refinement_statistics ( detail::anti_chain_type &  antichain, std::deque< T > &  working  )

inline

Definition at line 176 of file liblts_failures_refinement.h.

Member Data Documentation

antichain

template<typename T >

detail::anti_chain_type& mcrl2::lts::refinement_statistics< T >::antichain

Definition at line 181 of file liblts_failures_refinement.h.

antichain_inserts

template<typename T >

std::size_t mcrl2::lts::refinement_statistics< T >::antichain_inserts = 0

Definition at line 186 of file liblts_failures_refinement.h.

antichain_misses

template<typename T >

std::size_t mcrl2::lts::refinement_statistics< T >::antichain_misses = 0

Definition at line 185 of file liblts_failures_refinement.h.

max_antichain

template<typename T >

std::size_t mcrl2::lts::refinement_statistics< T >::max_antichain = 0

Definition at line 184 of file liblts_failures_refinement.h.

max_working

template<typename T >

std::size_t mcrl2::lts::refinement_statistics< T >::max_working = 0

Definition at line 183 of file liblts_failures_refinement.h.

working

template<typename T >

std::deque<T>& mcrl2::lts::refinement_statistics< T >::working

Definition at line 182 of file liblts_failures_refinement.h.

---

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

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