GraphPreservationStatus.h File Reference

#include <ostream>

Include dependency graph for GraphPreservationStatus.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::pars
namespace	storm::pars::analysis

Enumerations
enum class	storm::pars::analysis::GraphPreservationStatus { storm::pars::analysis::None , storm::pars::analysis::WellDefined , storm::pars::analysis::GraphPreserving , storm::pars::analysis::Unknown }
	Describes to what extent a set of regions is known to be well-defined and to preserve the graph structure of the parametric model. More...

Functions
bool	storm::pars::analysis::isGraphPreserving (GraphPreservationStatus status)
	Returns whether the given status guarantees that the graph structure of the model is preserved.
std::ostream &	storm::pars::analysis::operator<< (std::ostream &stream, GraphPreservationStatus status)