#include <MonotonicityResult.h>

Public Types
using	Monotonicity = storm::analysis::MonotonicityKind

Public Member Functions
	MonotonicityResult ()
	Constructs a new MonotonicityResult object.

void	addMonotonicityResult (VariableType var, Monotonicity mon)
	Adds a new variable with a given Monotonicity to the map.

void	updateMonotonicityResult (VariableType var, Monotonicity mon, bool force=false)
	Updates the Monotonicity of a variable based on its value so far and a new value.

Monotonicity	getMonotonicity (VariableType var) const
	Returns the current monotonicity of a given parameter.

bool	isMonotone (VariableType var) const

std::map< VariableType, Monotonicity > const &	getMonotonicityResult () const
	Returns the results so far.

void	splitBasedOnMonotonicity (std::set< VariableType > const &consideredVariables, std::set< VariableType > &monotoneIncr, std::set< VariableType > &monotoneDecr, std::set< VariableType > &notMontone) const

std::pair< std::set< VariableType >, std::set< VariableType > >	splitVariables (std::set< VariableType > const &consideredVariables) const

std::string	toString () const
	Constructs a string output of all variables and their corresponding Monotonicity.

bool	isDone () const
	Checks if the result is complete.

bool	isDoneForVar (VariableType) const

bool	existsMonotonicity ()
	Checks if there is any variable that is monotone.

bool	isAllMonotonicity () const
	Returns if all Variables are monotone.

void	setDone (bool done=true)
	Sets the done bool to the given truth value.

void	setSomewhereMonotonicity (bool done=true)
	Sets the somewhereMonotonicity bool to the given truth value.

void	setAllMonotonicity (bool done=true)
	Sets the allMonotonicity bool to the given truth value.

void	setDoneForVar (VariableType)

void	setDoneVariables (std::set< VariableType > doneVariables)

std::shared_ptr< MonotonicityResult< VariableType > >	copy () const
	Constructs a new MonotonicityResult object that is a copy of the current one.

Detailed Description

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

Definition at line 14 of file MonotonicityResult.h.

Member Typedef Documentation

◆ Monotonicity

template<typename VariableType >

using storm::analysis::MonotonicityResult< VariableType >::Monotonicity = storm::analysis::MonotonicityKind

Definition at line 16 of file MonotonicityResult.h.

Constructor & Destructor Documentation

◆ MonotonicityResult()

template<typename VariableType >

storm::analysis::MonotonicityResult< VariableType >::MonotonicityResult ( )

Constructs a new MonotonicityResult object.

Definition at line 15 of file MonotonicityResult.cpp.

Member Function Documentation

◆ addMonotonicityResult()

template<typename VariableType >

void storm::analysis::MonotonicityResult< VariableType >::addMonotonicityResult	(	VariableType	var,
		Monotonicity	mon
	)

Adds a new variable with a given Monotonicity to the map.

Parameters

var	The variable that is to be added.
mon	The Monotonicity of the variable.

Definition at line 22 of file MonotonicityResult.cpp.

◆ copy()

template<typename VariableType >

std::shared_ptr< MonotonicityResult< VariableType > > storm::analysis::MonotonicityResult< VariableType >::copy ( ) const

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

Returns: Pointer to the copy

Definition at line 160 of file MonotonicityResult.cpp.

◆ existsMonotonicity()

template<typename VariableType >

bool storm::analysis::MonotonicityResult< VariableType >::existsMonotonicity ( )

Checks if there is any variable that is monotone.

Definition at line 136 of file MonotonicityResult.cpp.

◆ getMonotonicity()

template<typename VariableType >

MonotonicityResult< VariableType >::Monotonicity storm::analysis::MonotonicityResult< VariableType >::getMonotonicity ( VariableType var ) const

Returns the current monotonicity of a given parameter.

Parameters

var	The parameter.

Returns: Incr, Decr, Constant, Not or Unknown.

Definition at line 64 of file MonotonicityResult.cpp.

◆ getMonotonicityResult()

template<typename VariableType >

std::map< VariableType, typename MonotonicityResult< VariableType >::Monotonicity > const & storm::analysis::MonotonicityResult< VariableType >::getMonotonicityResult ( ) const

Returns the results so far.

Returns: The parameter / Monotonicity map

Definition at line 73 of file MonotonicityResult.cpp.

◆ isAllMonotonicity()

template<typename VariableType >

bool storm::analysis::MonotonicityResult< VariableType >::isAllMonotonicity ( ) const

Returns if all Variables are monotone.

Definition at line 155 of file MonotonicityResult.cpp.

◆ isDone()

template<typename VariableType >

bool storm::analysis::MonotonicityResult< VariableType >::isDone ( ) const

Checks if the result is complete.

Definition at line 121 of file MonotonicityResult.cpp.

◆ isDoneForVar()

template<typename VariableType >

bool storm::analysis::MonotonicityResult< VariableType >::isDoneForVar ( VariableType var ) const

Definition at line 126 of file MonotonicityResult.cpp.

◆ isMonotone()

template<typename VariableType >

bool storm::analysis::MonotonicityResult< VariableType >::isMonotone ( VariableType var ) const

Definition at line 195 of file MonotonicityResult.cpp.

◆ setAllMonotonicity()

template<typename VariableType >

void storm::analysis::MonotonicityResult< VariableType >::setAllMonotonicity ( bool done = true )

Sets the allMonotonicity bool to the given truth value.

Definition at line 150 of file MonotonicityResult.cpp.

◆ setDone()

template<typename VariableType >

void storm::analysis::MonotonicityResult< VariableType >::setDone ( bool done = true )

Sets the done bool to the given truth value.

Definition at line 111 of file MonotonicityResult.cpp.

◆ setDoneForVar()

template<typename VariableType >

void storm::analysis::MonotonicityResult< VariableType >::setDoneForVar ( VariableType variable )

Definition at line 116 of file MonotonicityResult.cpp.

◆ setDoneVariables()

template<typename VariableType >

void storm::analysis::MonotonicityResult< VariableType >::setDoneVariables ( std::set< VariableType > doneVariables )

Definition at line 171 of file MonotonicityResult.cpp.

◆ setSomewhereMonotonicity()

template<typename VariableType >

void storm::analysis::MonotonicityResult< VariableType >::setSomewhereMonotonicity ( bool done = true )

Sets the somewhereMonotonicity bool to the given truth value.

Definition at line 131 of file MonotonicityResult.cpp.

◆ splitBasedOnMonotonicity()

template<typename VariableType >

void storm::analysis::MonotonicityResult< VariableType >::splitBasedOnMonotonicity	(	std::set< VariableType > const &	consideredVariables,
		std::set< VariableType > &	monotoneIncr,
		std::set< VariableType > &	monotoneDecr,
		std::set< VariableType > &	notMontone
	)		const

Definition at line 176 of file MonotonicityResult.cpp.

◆ splitVariables()

template<typename VariableType >

std::pair< std::set< VariableType >, std::set< VariableType > > storm::analysis::MonotonicityResult< VariableType >::splitVariables ( std::set< VariableType > const & consideredVariables ) const

Definition at line 78 of file MonotonicityResult.cpp.

◆ toString()

template<typename VariableType >

std::string storm::analysis::MonotonicityResult< VariableType >::toString ( ) const

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

Returns: Results so far

Definition at line 98 of file MonotonicityResult.cpp.

◆ updateMonotonicityResult()

template<typename VariableType >

void storm::analysis::MonotonicityResult< VariableType >::updateMonotonicityResult	(	VariableType	var,
		Monotonicity	mon,
		bool	force = `false`
	)

Updates the Monotonicity of a variable based on its value so far and a new value.

Parameters

var	The variable.
mon	The new Monotonicity to be considered.

Definition at line 27 of file MonotonicityResult.cpp.

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

src/storm-pars/modelchecker/region/monotonicity/MonotonicityAnnotation.h
src/storm-pars/modelchecker/region/monotonicity/MonotonicityResult.h
src/storm-pars/modelchecker/region/monotonicity/MonotonicityResult.cpp

Public Types

Public Member Functions

Detailed Description

Member Typedef Documentation

◆ Monotonicity

Constructor & Destructor Documentation

◆ MonotonicityResult()

Member Function Documentation

◆ addMonotonicityResult()

◆ copy()

◆ existsMonotonicity()

◆ getMonotonicity()

◆ getMonotonicityResult()

◆ isAllMonotonicity()

◆ isDone()

◆ isDoneForVar()

◆ isMonotone()

◆ setAllMonotonicity()

◆ setDone()

◆ setDoneForVar()

◆ setDoneVariables()

◆ setSomewhereMonotonicity()

◆ splitBasedOnMonotonicity()

◆ splitVariables()

◆ toString()

◆ updateMonotonicityResult()