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

Public Member Functions
int	depth ()

Public Attributes
formula_index_type	index
label_type	label
bool	negated
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 164 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 172 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 169 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

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

Definition at line 167 of file liblts_bisim_minimal_depth.h.

negated

template<class LTS_TYPE >

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

Definition at line 168 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 170 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