storm::logic::OperatorInformation Struct Reference

#include <OperatorFormula.h>

Public Member Functions
	OperatorInformation (boost::optional< storm::solver::OptimizationDirection > const &optimizationDirection=boost::none, boost::optional< Bound > const &bound=boost::none)

Public Attributes
boost::optional< storm::solver::OptimizationDirection >	optimalityType
boost::optional< Bound >	bound

Detailed Description

Definition at line 16 of file OperatorFormula.h.

Constructor & Destructor Documentation

OperatorInformation()

storm::logic::OperatorInformation::OperatorInformation	(	boost::optional< storm::solver::OptimizationDirection > const &	optimizationDirection = boost::none,
		boost::optional< Bound > const &	bound = boost::none
	)

Definition at line 10 of file OperatorFormula.cpp.

Member Data Documentation

bound

boost::optional<Bound> storm::logic::OperatorInformation::bound

Definition at line 21 of file OperatorFormula.h.

optimalityType

boost::optional<storm::solver::OptimizationDirection> storm::logic::OperatorInformation::optimalityType

Definition at line 20 of file OperatorFormula.h.

---

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

• src/storm/logic/OperatorFormula.h
• src/storm/logic/OperatorFormula.cpp