storm::counterexamples::HighLevelCounterexample Class Reference

#include <HighLevelCounterexample.h>

Inheritance diagram for storm::counterexamples::HighLevelCounterexample:

Collaboration diagram for storm::counterexamples::HighLevelCounterexample:

Public Member Functions
	HighLevelCounterexample (storm::storage::SymbolicModelDescription const &model)
void	writeToStream (std::ostream &out) const override
bool	isPrismHighLevelCounterexample () const
bool	isJaniHighLevelCounterexample () const
storm::storage::SymbolicModelDescription const &	getModelDescription () const
Public Member Functions inherited from storm::counterexamples::Counterexample
virtual	~Counterexample ()=default

Detailed Description

Definition at line 9 of file HighLevelCounterexample.h.

Constructor & Destructor Documentation

HighLevelCounterexample()

storm::counterexamples::HighLevelCounterexample::HighLevelCounterexample

(

storm::storage::SymbolicModelDescription const &

model

)

Definition at line 6 of file HighLevelCounterexample.cpp.

Member Function Documentation

getModelDescription()

storm::storage::SymbolicModelDescription const & storm::counterexamples::HighLevelCounterexample::getModelDescription

(

)

const

Definition at line 18 of file HighLevelCounterexample.cpp.

isJaniHighLevelCounterexample()

bool storm::counterexamples::HighLevelCounterexample::isJaniHighLevelCounterexample

(

)

const

Definition at line 14 of file HighLevelCounterexample.cpp.

isPrismHighLevelCounterexample()

bool storm::counterexamples::HighLevelCounterexample::isPrismHighLevelCounterexample

(

)

const

Definition at line 10 of file HighLevelCounterexample.cpp.

writeToStream()

void storm::counterexamples::HighLevelCounterexample::writeToStream ( std::ostream &  out ) const

overridevirtual

Implements storm::counterexamples::Counterexample.

Definition at line 22 of file HighLevelCounterexample.cpp.

---

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

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