ViOperatorMultiplier.cpp File Reference

#include "ViOperatorMultiplier.h"
#include "storm/adapters/RationalNumberAdapter.h"
#include "storm/solver/helper/ValueIterationOperator.h"
#include "storm/storage/SparseMatrix.h"
#include "storm/utility/Extremum.h"
#include "storm/utility/constants.h"
#include "storm/utility/macros.h"
#include "storm/exceptions/NotSupportedException.h"

Include dependency graph for ViOperatorMultiplier.cpp:

Go to the source code of this file.

Classes
class	storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >
	This backend stores the best (maximal or minimal) value of the current row group. More...
class	storm::solver::detail::PlainMultiplicationBackend< ValueType >
	This backend simply stores the row results in a vector. More...

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

Enumerations
enum class	storm::solver::detail::BackendOptimizationDirection { storm::solver::detail::None , storm::solver::detail::Minimize , storm::solver::detail::Maximize }