Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Classes | Public Types | Public Member Functions | Public Attributes | List of all members
storm::modelchecker::MonotonicityAnnotation< ParametricType > Struct Template Reference

#include <MonotonicityAnnotation.h>

Classes

struct  DefaultMonotonicityAnnotation
 
struct  OrderBasedMonotonicityAnnotation
 

Public Types

using VariableType = storm::utility::parametric::VariableType_t< ParametricType >
 

Public Member Functions

storm::OptionalRef< DefaultMonotonicityAnnotation > getDefaultMonotonicityAnnotation ()
 
storm::OptionalRef< DefaultMonotonicityAnnotation const > getDefaultMonotonicityAnnotation () const
 
storm::OptionalRef< OrderBasedMonotonicityAnnotation > getOrderBasedMonotonicityAnnotation ()
 
storm::OptionalRef< OrderBasedMonotonicityAnnotation const > getOrderBasedMonotonicityAnnotation () const
 
storm::OptionalRef< storm::analysis::MonotonicityResult< VariableType > const > getGlobalMonotonicityResult () const
 

Public Attributes

std::variant< DefaultMonotonicityAnnotation, OrderBasedMonotonicityAnnotation > data
 

Detailed Description

template<typename ParametricType>
struct storm::modelchecker::MonotonicityAnnotation< ParametricType >

Definition at line 23 of file MonotonicityAnnotation.h.

Member Typedef Documentation

◆ VariableType

template<typename ParametricType >
using storm::modelchecker::MonotonicityAnnotation< ParametricType >::VariableType = storm::utility::parametric::VariableType_t<ParametricType>

Definition at line 24 of file MonotonicityAnnotation.h.

Member Function Documentation

◆ getDefaultMonotonicityAnnotation() [1/2]

template<typename ParametricType >
storm::OptionalRef< typename MonotonicityAnnotation< ParametricType >::DefaultMonotonicityAnnotation > storm::modelchecker::MonotonicityAnnotation< ParametricType >::getDefaultMonotonicityAnnotation ( )

Definition at line 12 of file MonotonicityAnnotation.cpp.

◆ getDefaultMonotonicityAnnotation() [2/2]

template<typename ParametricType >
storm::OptionalRef< typename MonotonicityAnnotation< ParametricType >::DefaultMonotonicityAnnotation const > storm::modelchecker::MonotonicityAnnotation< ParametricType >::getDefaultMonotonicityAnnotation ( ) const

Definition at line 30 of file MonotonicityAnnotation.cpp.

◆ getGlobalMonotonicityResult()

template<typename ParametricType >
storm::OptionalRef< storm::analysis::MonotonicityResult< typename MonotonicityAnnotation< ParametricType >::VariableType > const > storm::modelchecker::MonotonicityAnnotation< ParametricType >::getGlobalMonotonicityResult ( ) const

Definition at line 48 of file MonotonicityAnnotation.cpp.

◆ getOrderBasedMonotonicityAnnotation() [1/2]

template<typename ParametricType >
storm::OptionalRef< typename MonotonicityAnnotation< ParametricType >::OrderBasedMonotonicityAnnotation > storm::modelchecker::MonotonicityAnnotation< ParametricType >::getOrderBasedMonotonicityAnnotation ( )

Definition at line 21 of file MonotonicityAnnotation.cpp.

◆ getOrderBasedMonotonicityAnnotation() [2/2]

template<typename ParametricType >
storm::OptionalRef< typename MonotonicityAnnotation< ParametricType >::OrderBasedMonotonicityAnnotation const > storm::modelchecker::MonotonicityAnnotation< ParametricType >::getOrderBasedMonotonicityAnnotation ( ) const

Definition at line 39 of file MonotonicityAnnotation.cpp.

Member Data Documentation

◆ data

template<typename ParametricType >
std::variant<DefaultMonotonicityAnnotation, OrderBasedMonotonicityAnnotation> storm::modelchecker::MonotonicityAnnotation< ParametricType >::data

Definition at line 42 of file MonotonicityAnnotation.h.

The documentation for this struct was generated from the following files: