storm::analysis Namespace Reference

Classes
class	AssumptionChecker
class	AssumptionMaker
class	LocalMonotonicityResult
class	MonotonicityResult
class	MonotonicityChecker
class	MonotonicityHelper
class	Order
class	OrderExtender
class	QualitativeAnalysisOnGraphs
class	UniqueObservationStates
struct	ConstraintType
struct	ConstraintType< ValueType, typename std::enable_if< std::is_same< storm::RationalFunction, ValueType >::value >::type >
class	ConstraintCollector
	Class to collect constraints on parametric Markov chains. More...

Enumerations
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, MonotonicityKind kind)
bool	isMonotone (MonotonicityKind kind)

Enumeration Type Documentation

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<<()

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

Definition at line 7 of file MonotonicityKind.cpp.