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 11 of file LocalMonotonicityResult.h.

Member Typedef Documentation

Monotonicity

template<typename VariableType >

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

Definition at line 13 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 9 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 18 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 71 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 43 of file LocalMonotonicityResult.cpp.

getIndexMaximize()

template<typename VariableType >

int storm::analysis::LocalMonotonicityResult< VariableType >::getIndexMaximize

(

)

const

Definition at line 105 of file LocalMonotonicityResult.cpp.

getIndexMinimize()

template<typename VariableType >

int storm::analysis::LocalMonotonicityResult< VariableType >::getIndexMinimize

(

)

const

Definition at line 100 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 181 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 27 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 84 of file LocalMonotonicityResult.cpp.

isFixedParametersSet()

template<typename VariableType >

bool storm::analysis::LocalMonotonicityResult< VariableType >::isFixedParametersSet

(

)

const

Definition at line 170 of file LocalMonotonicityResult.cpp.

isNoMonotonicity()

template<typename VariableType >

bool storm::analysis::LocalMonotonicityResult< VariableType >::isNoMonotonicity

(

)

const

Definition at line 110 of file LocalMonotonicityResult.cpp.

setConstant()

template<typename VariableType >

void storm::analysis::LocalMonotonicityResult< VariableType >::setConstant

(

uint_fast64_t

state

)

Definition at line 130 of file LocalMonotonicityResult.cpp.

setDone()

template<typename VariableType >

void storm::analysis::LocalMonotonicityResult< VariableType >::setDone

(

bool

done = true

)

Definition at line 175 of file LocalMonotonicityResult.cpp.

setIndexMaximize()

template<typename VariableType >

void storm::analysis::LocalMonotonicityResult< VariableType >::setIndexMaximize

(

int

index

)

Definition at line 95 of file LocalMonotonicityResult.cpp.

setIndexMinimize()

template<typename VariableType >

void storm::analysis::LocalMonotonicityResult< VariableType >::setIndexMinimize

(

int

index

)

Definition at line 89 of file LocalMonotonicityResult.cpp.

setMonotoneDecreasing()

template<typename VariableType >

void storm::analysis::LocalMonotonicityResult< VariableType >::setMonotoneDecreasing

(

VariableType

var

)

Definition at line 145 of file LocalMonotonicityResult.cpp.

setMonotoneIncreasing()

template<typename VariableType >

void storm::analysis::LocalMonotonicityResult< VariableType >::setMonotoneIncreasing

(

VariableType

var

)

Definition at line 138 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 48 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 152 of file LocalMonotonicityResult.cpp.

---

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

• src/storm-pars/modelchecker/region/monotonicity/LocalMonotonicityResult.h
• src/storm-pars/modelchecker/region/monotonicity/LocalMonotonicityResult.cpp