mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::dummy_counter_example_constructor Class Reference

A class that can be used to construct counter examples if no. More...

#include <counter_example.h>

Public Types

typedef dummy_counter_example_constructor index_type
 

Public Member Functions

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.
 

Static Public Member Functions

static index_type root_index ()
 

Detailed Description

A class that can be used to construct counter examples if no.

Definition at line 173 of file counter_example.h.

Member Typedef Documentation

◆ index_type

Member Function Documentation

◆ add_transition()

index_type mcrl2::lts::detail::dummy_counter_example_constructor::add_transition ( std::size_t  ,
index_type   
)
inline

Definition at line 183 of file counter_example.h.

◆ 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

Definition at line 178 of file counter_example.h.

◆ 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

Definition at line 190 of file counter_example.h.


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