storm::counterexamples::PathCounterexample< ValueType > Class Template Reference

#include <PathCounterexample.h>

Inheritance diagram for storm::counterexamples::PathCounterexample< ValueType >:

Collaboration diagram for storm::counterexamples::PathCounterexample< ValueType >:

Public Member Functions
	PathCounterexample (std::shared_ptr< storm::models::sparse::Model< ValueType > > model)
void	addPath (std::vector< storage::sparse::state_type > path, size_t k)
void	writeToStream (std::ostream &out) const override
Public Member Functions inherited from storm::counterexamples::Counterexample
virtual	~Counterexample ()=default

Detailed Description

template<typename ValueType>
class storm::counterexamples::PathCounterexample< ValueType >

Definition at line 11 of file PathCounterexample.h.

Constructor & Destructor Documentation

PathCounterexample()

template<typename ValueType >

storm::counterexamples::PathCounterexample< ValueType >::PathCounterexample

(

std::shared_ptr< storm::models::sparse::Model< ValueType > >

model

)

Definition at line 9 of file PathCounterexample.cpp.

Member Function Documentation

addPath()

template<typename ValueType >

void storm::counterexamples::PathCounterexample< ValueType >::addPath	(	std::vector< storage::sparse::state_type >	path,
		size_t	k
	)

Definition at line 14 of file PathCounterexample.cpp.

writeToStream()

template<typename ValueType >

void storm::counterexamples::PathCounterexample< ValueType >::writeToStream ( std::ostream &  out ) const

overridevirtual

Implements storm::counterexamples::Counterexample.

Definition at line 22 of file PathCounterexample.cpp.

---

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

• src/storm-counterexamples/counterexamples/PathCounterexample.h
• src/storm-counterexamples/counterexamples/PathCounterexample.cpp