Classes
struct	Assumption
	A candidate relation between two states of a reachability order: either state1 > state2 (Greater) or state1 == state2 (Equal). More...
class	AssumptionChecker
class	AssumptionMaker
class	LocalMonotonicityResult
class	MonotonicityResult
class	MonotonicityChecker
class	MonotonicityHelper
class	Order
class	OrderExtender
class	QualitativeAnalysisOnGraphs
class	UniqueObservationStates
class	ConstraintCollector
	Class to collect constraints on parametric Markov chains. More...

Enumerations
enum class	AssumptionRelation { Greater , Equal }
	The relation a candidate assumption states between two states. More...
enum	AssumptionStatus { VALID , INVALID , UNKNOWN }
	Constants for status of assumption. More...
enum class	MonotonicityKind { Incr , Decr , Constant , Not , Unknown }
	The results of monotonicity checking for a single Parameter Region. More...

Functions
std::ostream &	operator<< (std::ostream &out, Assumption const &assumption)
std::ostream &	operator<< (std::ostream &out, MonotonicityKind kind)
bool	isMonotone (MonotonicityKind kind)
void	swap (Order &first, Order &second)

Enumeration Type Documentation

◆ AssumptionRelation

enum class storm::analysis::AssumptionRelation

strong

The relation a candidate assumption states between two states.

Keeping this a dedicated two-valued type makes it impossible to represent (and later interpret inconsistently) any relation other than "state1 > state2" or "state1 == state2".

Enumerator
Greater
Equal

Definition at line 14 of file Assumption.h.

◆ AssumptionStatus

enum storm::analysis::AssumptionStatus

Constants for status of assumption.

Enumerator
VALID
INVALID
UNKNOWN

Definition at line 18 of file AssumptionChecker.h.

◆ MonotonicityKind

enum class storm::analysis::MonotonicityKind

strong

The results of monotonicity checking for a single Parameter Region.

Enumerator
Incr	the result is monotonically increasing
Decr	the result is monotonically decreasing
Constant	the result is constant
Not	the result is not monotonic
Unknown	the monotonicity result is unknown

Definition at line 9 of file MonotonicityKind.h.

Function Documentation

◆ isMonotone()

bool storm::analysis::isMonotone ( MonotonicityKind kind )

Definition at line 31 of file MonotonicityKind.cpp.

◆ operator<<() [1/2]

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

Definition at line 6 of file Assumption.cpp.

◆ operator<<() [2/2]

std::ostream & storm::analysis::operator<<	(	std::ostream &	out,
		MonotonicityKind	kind )

Definition at line 7 of file MonotonicityKind.cpp.

◆ swap()

void storm::analysis::swap	(	Order &	first,
		Order &	second )

noexcept

Definition at line 115 of file Order.cpp.

Classes

Enumerations

Functions