storm::ps::MilpPermissiveSchedulerComputation< RM > Class Template Reference

#include <MILPPermissiveSchedulers.h>

Inheritance diagram for storm::ps::MilpPermissiveSchedulerComputation< RM >:

Collaboration diagram for storm::ps::MilpPermissiveSchedulerComputation< RM >:

Public Member Functions
	MilpPermissiveSchedulerComputation (storm::solver::LpSolver< double > &milpsolver, storm::models::sparse::Mdp< double, RM > const &mdp, storm::storage::BitVector const &goalstates, storm::storage::BitVector const &sinkstates)
void	calculatePermissiveScheduler (bool lowerBound, double boundary) override
bool	foundSolution () const override
SubMDPPermissiveScheduler< RM >	getScheduler () const override
void	dumpLpSolutionToFile (std::string const &filename)
void	dumpLpToFile (std::string const &filename)
Public Member Functions inherited from storm::ps::PermissiveSchedulerComputation< RM >
	PermissiveSchedulerComputation (storm::models::sparse::Mdp< double, RM > const &mdp, storm::storage::BitVector const &goalstates, storm::storage::BitVector const &sinkstates)
virtual	~PermissiveSchedulerComputation ()=default
void	setPenalties (PermissiveSchedulerPenalties penalties)
PermissiveSchedulerPenalties const &	getPenalties () const
PermissiveSchedulerPenalties &	getPenalties ()

Additional Inherited Members
Protected Attributes inherited from storm::ps::PermissiveSchedulerComputation< RM >
storm::models::sparse::Mdp< double, RM > const &	mdp
storm::storage::BitVector const &	mGoals
storm::storage::BitVector const &	mSinks
PermissiveSchedulerPenalties	mPenalties

Detailed Description

template<typename RM>
class storm::ps::MilpPermissiveSchedulerComputation< RM >

Definition at line 21 of file MILPPermissiveSchedulers.h.

Constructor & Destructor Documentation

MilpPermissiveSchedulerComputation()

template<typename RM>

storm::ps::MilpPermissiveSchedulerComputation< RM >::MilpPermissiveSchedulerComputation ( storm::solver::LpSolver< double > & milpsolver, storm::models::sparse::Mdp< double, RM > const & mdp, storm::storage::BitVector const & goalstates, storm::storage::BitVector const & sinkstates )

inline

Definition at line 32 of file MILPPermissiveSchedulers.h.

Member Function Documentation

calculatePermissiveScheduler()

template<typename RM>

void storm::ps::MilpPermissiveSchedulerComputation< RM >::calculatePermissiveScheduler ( bool lowerBound, double boundary )

inlineoverridevirtual

Implements storm::ps::PermissiveSchedulerComputation< RM >.

Definition at line 36 of file MILPPermissiveSchedulers.h.

dumpLpSolutionToFile()

template<typename RM>

void storm::ps::MilpPermissiveSchedulerComputation< RM >::dumpLpSolutionToFile ( std::string const & filename )

inline

Definition at line 62 of file MILPPermissiveSchedulers.h.

dumpLpToFile()

template<typename RM>

void storm::ps::MilpPermissiveSchedulerComputation< RM >::dumpLpToFile ( std::string const & filename )

inline

Definition at line 83 of file MILPPermissiveSchedulers.h.

foundSolution()

template<typename RM>

bool storm::ps::MilpPermissiveSchedulerComputation< RM >::foundSolution ( ) const

inlineoverridevirtual

Implements storm::ps::PermissiveSchedulerComputation< RM >.

Definition at line 44 of file MILPPermissiveSchedulers.h.

getScheduler()

template<typename RM>

SubMDPPermissiveScheduler< RM > storm::ps::MilpPermissiveSchedulerComputation< RM >::getScheduler ( ) const

inlineoverridevirtual

Implements storm::ps::PermissiveSchedulerComputation< RM >.

Definition at line 49 of file MILPPermissiveSchedulers.h.

---

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

• src/storm-permissive/analysis/MILPPermissiveSchedulers.h