storm::pars::modelchecker::MonotonicityOptions Struct Reference

#include <RegionOptions.h>

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

Public Attributes
bool	useMonotonicity
bool	useOnlyGlobalMonotonicity
bool	useBoundsFromPLA

Detailed Description

Definition at line 19 of file RegionOptions.h.

Constructor & Destructor Documentation

MonotonicityOptions()

storm::pars::modelchecker::MonotonicityOptions::MonotonicityOptions ( bool useMonotonicity = false, bool useOnlyGlobalMonotonicity = false, bool useBoundsFromPLA = false )

inlineexplicit

Definition at line 24 of file RegionOptions.h.

Member Data Documentation

useBoundsFromPLA

bool storm::pars::modelchecker::MonotonicityOptions::useBoundsFromPLA

Definition at line 22 of file RegionOptions.h.

useMonotonicity

bool storm::pars::modelchecker::MonotonicityOptions::useMonotonicity

Definition at line 20 of file RegionOptions.h.

useOnlyGlobalMonotonicity

bool storm::pars::modelchecker::MonotonicityOptions::useOnlyGlobalMonotonicity

Definition at line 21 of file RegionOptions.h.

---

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

• src/storm-pars/modelchecker/region/RegionOptions.h