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 194 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 196 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 201 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 206 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 205 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 204 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 203 of file liblts_failures_refinement.h.

working

template<typename T >

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

Definition at line 202 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