OptimizationDirection.h File Reference

#include <iostream>

Include dependency graph for OptimizationDirection.h:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::solver

Typedefs
using	storm::OptimizationDirection = solver::OptimizationDirection

Enumerations
enum class	storm::solver::OptimizationDirection { storm::solver::Minimize = 0 , storm::solver::Maximize = 1 }
enum class	storm::solver::OptimizationDirectionSetting { storm::solver::Minimize = 0 , storm::solver::Maximize = 1 , storm::solver::Unset }

Functions
bool constexpr	storm::solver::minimize (OptimizationDirection d)
bool constexpr	storm::solver::maximize (OptimizationDirection d)
OptimizationDirection constexpr	storm::solver::invert (OptimizationDirection d)
std::ostream &	storm::solver::operator<< (std::ostream &out, OptimizationDirection d)
bool	storm::solver::isSet (OptimizationDirectionSetting s)
OptimizationDirection	storm::solver::convert (OptimizationDirectionSetting s)
OptimizationDirectionSetting	storm::solver::convert (OptimizationDirection d)