A class that can be used to construct counter examples if no.
More...
#include <counter_example.h>
|
index_type | add_transition (std::size_t, index_type) |
|
template<class LTS_TYPE > |
void | save_counter_example (index_type, const LTS_TYPE &, const std::vector< size_t > &=std::vector< size_t >()) const |
|
bool | is_dummy () const |
| This function indicates that this is a dummy counterexample class and that no counterexample is required.
|
|
bool | is_structured () const |
| Returns whether this counter-example is printed in a machine-readable way to stdout If false is returned, the counter-example is written to a file.
|
|
A class that can be used to construct counter examples if no.
Definition at line 173 of file counter_example.h.
◆ index_type
◆ add_transition()
index_type mcrl2::lts::detail::dummy_counter_example_constructor::add_transition |
( |
std::size_t |
, |
|
|
index_type |
|
|
) |
| |
|
inline |
◆ is_dummy()
bool mcrl2::lts::detail::dummy_counter_example_constructor::is_dummy |
( |
| ) |
const |
|
inline |
This function indicates that this is a dummy counterexample class and that no counterexample is required.
Definition at line 196 of file counter_example.h.
◆ is_structured()
bool mcrl2::lts::detail::dummy_counter_example_constructor::is_structured |
( |
| ) |
const |
|
inline |
Returns whether this counter-example is printed in a machine-readable way to stdout If false is returned, the counter-example is written to a file.
Definition at line 203 of file counter_example.h.
◆ root_index()
static index_type mcrl2::lts::detail::dummy_counter_example_constructor::root_index |
( |
| ) |
|
|
inlinestatic |
◆ save_counter_example()
template<class LTS_TYPE >
void mcrl2::lts::detail::dummy_counter_example_constructor::save_counter_example |
( |
index_type |
, |
|
|
const LTS_TYPE & |
, |
|
|
const std::vector< size_t > & |
= std::vector<size_t>() |
|
) |
| const |
|
inline |
The documentation for this class was generated from the following file: