mcrl2::lts::detail::bisim_partitioner_minimal_depth< LTS_TYPE >::formula Struct Reference

Public Member Functions
int	depth ()

Public Attributes
formula_index_type	index = 0UL
label_type	label = 0UL
bool	negated = false
std::vector< formula >	conjunctions
std::set< block_index_type >	truths

Detailed Description

template<class LTS_TYPE>
struct mcrl2::lts::detail::bisim_partitioner_minimal_depth< LTS_TYPE >::formula

Definition at line 160 of file liblts_bisim_minimal_depth.h.

Member Function Documentation

depth()

template<class LTS_TYPE >

int mcrl2::lts::detail::bisim_partitioner_minimal_depth< LTS_TYPE >::formula::depth ( )

inline

Definition at line 168 of file liblts_bisim_minimal_depth.h.

Member Data Documentation

conjunctions

template<class LTS_TYPE >

std::vector<formula> mcrl2::lts::detail::bisim_partitioner_minimal_depth< LTS_TYPE >::formula::conjunctions

Definition at line 165 of file liblts_bisim_minimal_depth.h.

index

template<class LTS_TYPE >

formula_index_type mcrl2::lts::detail::bisim_partitioner_minimal_depth< LTS_TYPE >::formula::index = 0UL

Definition at line 162 of file liblts_bisim_minimal_depth.h.

label

template<class LTS_TYPE >

label_type mcrl2::lts::detail::bisim_partitioner_minimal_depth< LTS_TYPE >::formula::label = 0UL

Definition at line 163 of file liblts_bisim_minimal_depth.h.

negated

template<class LTS_TYPE >

bool mcrl2::lts::detail::bisim_partitioner_minimal_depth< LTS_TYPE >::formula::negated = false

Definition at line 164 of file liblts_bisim_minimal_depth.h.

truths

template<class LTS_TYPE >

std::set<block_index_type> mcrl2::lts::detail::bisim_partitioner_minimal_depth< LTS_TYPE >::formula::truths

Definition at line 166 of file liblts_bisim_minimal_depth.h.

---

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

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