Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
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: