storm::analysis Namespace Reference

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

Enumerations
enum	AssumptionStatus { VALID , INVALID , UNKNOWN }
	Constants for status of assumption. More...

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.