Assumption.h File Reference

#include <cstdint>
#include <ostream>

Include dependency graph for Assumption.h:

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

Go to the source code of this file.

Classes
struct	storm::analysis::Assumption
	A candidate relation between two states of a reachability order: either state1 > state2 (Greater) or state1 == state2 (Equal). More...

Namespaces
namespace	storm
namespace	storm::analysis

Enumerations
enum class	storm::analysis::AssumptionRelation { storm::analysis::Greater , storm::analysis::Equal }
	The relation a candidate assumption states between two states. More...

Functions
std::ostream &	storm::analysis::operator<< (std::ostream &out, Assumption const &assumption)