storm::modelchecker::multiobjective::Objective< ValueType > Struct Template Reference

#include <Objective.h>

Public Member Functions
void	printToStream (std::ostream &out) const

Public Attributes
std::shared_ptr< storm::logic::Formula const >	originalFormula
std::shared_ptr< storm::logic::OperatorFormula const >	formula
bool	considersComplementaryEvent
boost::optional< ValueType >	lowerResultBound
boost::optional< ValueType >	upperResultBound

Detailed Description

template<typename ValueType>
struct storm::modelchecker::multiobjective::Objective< ValueType >

Definition at line 15 of file Objective.h.

Member Function Documentation

printToStream()

template<typename ValueType >

void storm::modelchecker::multiobjective::Objective< ValueType >::printToStream ( std::ostream &  out ) const

inline

Definition at line 30 of file Objective.h.

Member Data Documentation

considersComplementaryEvent

template<typename ValueType >

bool storm::modelchecker::multiobjective::Objective< ValueType >::considersComplementaryEvent

Definition at line 24 of file Objective.h.

formula

template<typename ValueType >

std::shared_ptr<storm::logic::OperatorFormula const> storm::modelchecker::multiobjective::Objective< ValueType >::formula

Definition at line 20 of file Objective.h.

lowerResultBound

template<typename ValueType >

boost::optional<ValueType> storm::modelchecker::multiobjective::Objective< ValueType >::lowerResultBound

Definition at line 28 of file Objective.h.

originalFormula

template<typename ValueType >

std::shared_ptr<storm::logic::Formula const> storm::modelchecker::multiobjective::Objective< ValueType >::originalFormula

Definition at line 17 of file Objective.h.

upperResultBound

template<typename ValueType >

boost::optional<ValueType> storm::modelchecker::multiobjective::Objective< ValueType >::upperResultBound

Definition at line 28 of file Objective.h.

---

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

• src/storm/modelchecker/multiobjective/Objective.h