Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
storm::modelchecker::RegionBound< SparseModelType, ConstantType > Struct Template Reference
Collaboration diagram for storm::modelchecker::RegionBound< SparseModelType, ConstantType >:
Collaboration graph
[legend]

Public Types

typedef storm::storage::ParameterRegion< typenameSparseModelType::ValueType >::VariableType VariableType
 

Public Member Functions

 RegionBound (storm::storage::ParameterRegion< typename SparseModelType::ValueType > const &r, std::shared_ptr< storm::analysis::Order > o, std::shared_ptr< storm::analysis::LocalMonotonicityResult< VariableType > > l, boost::optional< ConstantType > const &b)
 

Public Attributes

storm::storage::ParameterRegion< typename SparseModelType::ValueType > region
 
std::shared_ptr< storm::analysis::Order > order
 
std::shared_ptr< storm::analysis::LocalMonotonicityResult< VariableType > > localMonRes
 
boost::optional< ConstantType > bound
 

Detailed Description

template<typename SparseModelType, typename ConstantType>
struct storm::modelchecker::RegionBound< SparseModelType, ConstantType >

Definition at line 264 of file SparseParameterLiftingModelChecker.cpp.

Member Typedef Documentation

◆ VariableType

template<typename SparseModelType , typename ConstantType >
typedef storm::storage::ParameterRegion<typenameSparseModelType::ValueType>::VariableType storm::modelchecker::RegionBound< SparseModelType, ConstantType >::VariableType

Definition at line 265 of file SparseParameterLiftingModelChecker.cpp.

Constructor & Destructor Documentation

◆ RegionBound()

template<typename SparseModelType , typename ConstantType >
storm::modelchecker::RegionBound< SparseModelType, ConstantType >::RegionBound ( storm::storage::ParameterRegion< typename SparseModelType::ValueType > const &  r,
std::shared_ptr< storm::analysis::Order >  o,
std::shared_ptr< storm::analysis::LocalMonotonicityResult< VariableType > >  l,
boost::optional< ConstantType > const &  b 
)
inline

Definition at line 267 of file SparseParameterLiftingModelChecker.cpp.

Member Data Documentation

◆ bound

template<typename SparseModelType , typename ConstantType >
boost::optional<ConstantType> storm::modelchecker::RegionBound< SparseModelType, ConstantType >::bound

Definition at line 273 of file SparseParameterLiftingModelChecker.cpp.

◆ localMonRes

template<typename SparseModelType , typename ConstantType >
std::shared_ptr<storm::analysis::LocalMonotonicityResult<VariableType> > storm::modelchecker::RegionBound< SparseModelType, ConstantType >::localMonRes

Definition at line 272 of file SparseParameterLiftingModelChecker.cpp.

◆ order

template<typename SparseModelType , typename ConstantType >
std::shared_ptr<storm::analysis::Order> storm::modelchecker::RegionBound< SparseModelType, ConstantType >::order

Definition at line 271 of file SparseParameterLiftingModelChecker.cpp.

◆ region

template<typename SparseModelType , typename ConstantType >
storm::storage::ParameterRegion<typename SparseModelType::ValueType> storm::modelchecker::RegionBound< SparseModelType, ConstantType >::region

Definition at line 270 of file SparseParameterLiftingModelChecker.cpp.

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