storm::api::MonotonicitySetting Struct Reference

#include <region.h>

Public Member Functions
	MonotonicitySetting (bool useMonotonicity=false, bool useOnlyGlobalMonotonicity=false, bool useBoundsFromPLA=false)

Public Attributes
bool	useMonotonicity
bool	useOnlyGlobalMonotonicity
bool	useBoundsFromPLA

Detailed Description

Definition at line 35 of file region.h.

Constructor & Destructor Documentation

MonotonicitySetting()

storm::api::MonotonicitySetting::MonotonicitySetting ( bool  useMonotonicity = false, bool  useOnlyGlobalMonotonicity = false, bool  useBoundsFromPLA = false  )

inlineexplicit

Definition at line 40 of file region.h.

Member Data Documentation

useBoundsFromPLA

bool storm::api::MonotonicitySetting::useBoundsFromPLA

Definition at line 38 of file region.h.

useMonotonicity

bool storm::api::MonotonicitySetting::useMonotonicity

Definition at line 36 of file region.h.

useOnlyGlobalMonotonicity

bool storm::api::MonotonicitySetting::useOnlyGlobalMonotonicity

Definition at line 37 of file region.h.

---

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

• src/storm-pars/api/region.h