storm::counterexamples::Counterexample Class Reference

#include <Counterexample.h>

Inheritance diagram for storm::counterexamples::Counterexample:

Public Member Functions
virtual	~Counterexample ()=default
virtual void	writeToStream (std::ostream &out) const =0

Detailed Description

Definition at line 8 of file Counterexample.h.

Constructor & Destructor Documentation

~Counterexample()

virtual storm::counterexamples::Counterexample::~Counterexample ( )

virtualdefault

Member Function Documentation

writeToStream()

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

pure virtual

Implemented in storm::counterexamples::HighLevelCounterexample, and storm::counterexamples::PathCounterexample< ValueType >.

---

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

• src/storm-counterexamples/counterexamples/Counterexample.h