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

numberOfStates

The 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

state	The state.
var	The 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

mon	The Monotonicity.
state	The state.
var	The 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:

• src/storm-pars/analysis/LocalMonotonicityResult.h
• src/storm-pars/analysis/LocalMonotonicityResult.cpp