Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Types | Public Member Functions | List of all members
storm::analysis::LocalMonotonicityResult< VariableType > Class Template Reference

#include <LocalMonotonicityResult.h>

Public Types

typedef MonotonicityResult< VariableType >::Monotonicity Monotonicity
 

Public Member Functions

 LocalMonotonicityResult (uint_fast64_t numberOfStates)
 Constructs a new LocalMonotonicityResult object.
 
 LocalMonotonicityResult (std::shared_ptr< MonotonicityResult< VariableType > > globalResult, uint_fast64_t numberOfStates)
 
Monotonicity getMonotonicity (uint_fast64_t state, VariableType var) const
 Returns the local Monotonicity of a parameter at a given state.
 
std::shared_ptr< MonotonicityResult< VariableType > > getMonotonicity (uint_fast64_t state) const
 
void setMonotonicity (uint_fast64_t state, VariableType var, Monotonicity mon)
 Sets the local Monotonicity of a parameter at a given state.
 
std::shared_ptr< MonotonicityResult< VariableType > > getGlobalMonotonicityResult () const
 Returns the Global MonotonicityResult object that corresponds to this object.
 
std::shared_ptr< LocalMonotonicityResult< VariableType > > copy ()
 Constructs a new LocalMonotonicityResult object that is a copy of the current one.
 
bool isDone () const
 Checks if the LocalMonotonicity is done yet.
 
void setDone (bool done=true)
 
bool isNoMonotonicity () const
 
void setConstant (uint_fast64_t state)
 
void setIndexMinimize (int index)
 
void setIndexMaximize (int index)
 
int getIndexMinimize () const
 
int getIndexMaximize () const
 
std::string toString () const
 Constructs a string output of all variables and their corresponding Monotonicity.
 
void setMonotoneIncreasing (VariableType var)
 
void setMonotoneDecreasing (VariableType var)
 
bool isFixedParametersSet () const
 

Detailed Description

template<typename VariableType>
class storm::analysis::LocalMonotonicityResult< VariableType >

Definition at line 12 of file LocalMonotonicityResult.h.

Member Typedef Documentation

◆ Monotonicity

template<typename VariableType >
typedef MonotonicityResult<VariableType>::Monotonicity storm::analysis::LocalMonotonicityResult< VariableType >::Monotonicity

Definition at line 14 of file LocalMonotonicityResult.h.

Constructor & Destructor Documentation

◆ LocalMonotonicityResult() [1/2]

template<typename VariableType >
storm::analysis::LocalMonotonicityResult< VariableType >::LocalMonotonicityResult ( uint_fast64_t  numberOfStates)

Constructs a new LocalMonotonicityResult object.

Parameters
numberOfStatesThe number of states in the considered model.
Returns
The new object.

Definition at line 7 of file LocalMonotonicityResult.cpp.

◆ LocalMonotonicityResult() [2/2]

template<typename VariableType >
storm::analysis::LocalMonotonicityResult< VariableType >::LocalMonotonicityResult ( std::shared_ptr< MonotonicityResult< VariableType > >  globalResult,
uint_fast64_t  numberOfStates 
)

Definition at line 16 of file LocalMonotonicityResult.cpp.

Member Function Documentation

◆ copy()

template<typename VariableType >
std::shared_ptr< LocalMonotonicityResult< VariableType > > storm::analysis::LocalMonotonicityResult< VariableType >::copy ( )

Constructs a new LocalMonotonicityResult object that is a copy of the current one.

Returns
Pointer to the copy.

Definition at line 69 of file LocalMonotonicityResult.cpp.

◆ getGlobalMonotonicityResult()

template<typename VariableType >
std::shared_ptr< MonotonicityResult< VariableType > > storm::analysis::LocalMonotonicityResult< VariableType >::getGlobalMonotonicityResult ( ) const

Returns the Global MonotonicityResult object that corresponds to this object.

Returns
The pointer to the global MonotonicityResult.

Definition at line 41 of file LocalMonotonicityResult.cpp.

◆ getIndexMaximize()

template<typename VariableType >
int storm::analysis::LocalMonotonicityResult< VariableType >::getIndexMaximize ( ) const

Definition at line 103 of file LocalMonotonicityResult.cpp.

◆ getIndexMinimize()

template<typename VariableType >
int storm::analysis::LocalMonotonicityResult< VariableType >::getIndexMinimize ( ) const

Definition at line 98 of file LocalMonotonicityResult.cpp.

◆ getMonotonicity() [1/2]

template<typename VariableType >
std::shared_ptr< MonotonicityResult< VariableType > > storm::analysis::LocalMonotonicityResult< VariableType >::getMonotonicity ( uint_fast64_t  state) const

Definition at line 179 of file LocalMonotonicityResult.cpp.

◆ getMonotonicity() [2/2]

template<typename VariableType >
LocalMonotonicityResult< VariableType >::Monotonicity storm::analysis::LocalMonotonicityResult< VariableType >::getMonotonicity ( uint_fast64_t  state,
VariableType  var 
) const

Returns the local Monotonicity of a parameter at a given state.

Parameters
stateThe state.
varThe parameter.
Returns
The local Monotonicity.

Definition at line 25 of file LocalMonotonicityResult.cpp.

◆ isDone()

template<typename VariableType >
bool storm::analysis::LocalMonotonicityResult< VariableType >::isDone ( ) const

Checks if the LocalMonotonicity is done yet.

Returns
true if done is set to true, false otherwise.

Definition at line 82 of file LocalMonotonicityResult.cpp.

◆ isFixedParametersSet()

template<typename VariableType >
bool storm::analysis::LocalMonotonicityResult< VariableType >::isFixedParametersSet ( ) const

Definition at line 168 of file LocalMonotonicityResult.cpp.

◆ isNoMonotonicity()

template<typename VariableType >
bool storm::analysis::LocalMonotonicityResult< VariableType >::isNoMonotonicity ( ) const

Definition at line 108 of file LocalMonotonicityResult.cpp.

◆ setConstant()

template<typename VariableType >
void storm::analysis::LocalMonotonicityResult< VariableType >::setConstant ( uint_fast64_t  state)

Definition at line 128 of file LocalMonotonicityResult.cpp.

◆ setDone()

template<typename VariableType >
void storm::analysis::LocalMonotonicityResult< VariableType >::setDone ( bool  done = true)

Definition at line 173 of file LocalMonotonicityResult.cpp.

◆ setIndexMaximize()

template<typename VariableType >
void storm::analysis::LocalMonotonicityResult< VariableType >::setIndexMaximize ( int  index)

Definition at line 93 of file LocalMonotonicityResult.cpp.

◆ setIndexMinimize()

template<typename VariableType >
void storm::analysis::LocalMonotonicityResult< VariableType >::setIndexMinimize ( int  index)

Definition at line 87 of file LocalMonotonicityResult.cpp.

◆ setMonotoneDecreasing()

template<typename VariableType >
void storm::analysis::LocalMonotonicityResult< VariableType >::setMonotoneDecreasing ( VariableType  var)

Definition at line 143 of file LocalMonotonicityResult.cpp.

◆ setMonotoneIncreasing()

template<typename VariableType >
void storm::analysis::LocalMonotonicityResult< VariableType >::setMonotoneIncreasing ( VariableType  var)

Definition at line 136 of file LocalMonotonicityResult.cpp.

◆ setMonotonicity()

template<typename VariableType >
void storm::analysis::LocalMonotonicityResult< VariableType >::setMonotonicity ( uint_fast64_t  state,
VariableType  var,
Monotonicity  mon 
)

Sets the local Monotonicity of a parameter at a given state.

Parameters
monThe Monotonicity.
stateThe state.
varThe parameter.

Definition at line 46 of file LocalMonotonicityResult.cpp.

◆ toString()

template<typename VariableType >
std::string storm::analysis::LocalMonotonicityResult< VariableType >::toString ( ) const

Constructs a string output of all variables and their corresponding Monotonicity.

Returns
Results so far

Definition at line 150 of file LocalMonotonicityResult.cpp.

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