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

#include <PermissiveSchedulerComputation.h>

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

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

Public Member Functions
	PermissiveSchedulerComputation (storm::models::sparse::Mdp< double, RM > const &mdp, storm::storage::BitVector const &goalstates, storm::storage::BitVector const &sinkstates)
virtual	~PermissiveSchedulerComputation ()=default
virtual void	calculatePermissiveScheduler (bool lowerBound, double boundary)=0
void	setPenalties (PermissiveSchedulerPenalties penalties)
PermissiveSchedulerPenalties const &	getPenalties () const
PermissiveSchedulerPenalties &	getPenalties ()
virtual bool	foundSolution () const =0
virtual SubMDPPermissiveScheduler< RM >	getScheduler () const =0

Protected Attributes
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::PermissiveSchedulerComputation< RM >

Definition at line 14 of file PermissiveSchedulerComputation.h.

Constructor & Destructor Documentation

PermissiveSchedulerComputation()

template<typename RM >

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

inline

Definition at line 22 of file PermissiveSchedulerComputation.h.

~PermissiveSchedulerComputation()

template<typename RM >

virtual storm::ps::PermissiveSchedulerComputation< RM >::~PermissiveSchedulerComputation ( )

virtualdefault

Member Function Documentation

calculatePermissiveScheduler()

template<typename RM >

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

pure virtual

Implemented in storm::ps::MilpPermissiveSchedulerComputation< RM >, and storm::ps::SmtPermissiveSchedulerComputation< RM >.

foundSolution()

template<typename RM >

virtual bool storm::ps::PermissiveSchedulerComputation< RM >::foundSolution ( ) const

pure virtual

Implemented in storm::ps::MilpPermissiveSchedulerComputation< RM >, and storm::ps::SmtPermissiveSchedulerComputation< RM >.

getPenalties() [1/2]

template<typename RM >

PermissiveSchedulerPenalties & storm::ps::PermissiveSchedulerComputation< RM >::getPenalties ( )

inline

Definition at line 38 of file PermissiveSchedulerComputation.h.

getPenalties() [2/2]

template<typename RM >

PermissiveSchedulerPenalties const & storm::ps::PermissiveSchedulerComputation< RM >::getPenalties ( ) const

inline

Definition at line 34 of file PermissiveSchedulerComputation.h.

getScheduler()

template<typename RM >

virtual SubMDPPermissiveScheduler< RM > storm::ps::PermissiveSchedulerComputation< RM >::getScheduler ( ) const

pure virtual

Implemented in storm::ps::MilpPermissiveSchedulerComputation< RM >, and storm::ps::SmtPermissiveSchedulerComputation< RM >.

setPenalties()

template<typename RM >

void storm::ps::PermissiveSchedulerComputation< RM >::setPenalties ( PermissiveSchedulerPenalties  penalties )

inline

Definition at line 30 of file PermissiveSchedulerComputation.h.

Member Data Documentation

mdp

template<typename RM >

storm::models::sparse::Mdp<double, RM> const& storm::ps::PermissiveSchedulerComputation< RM >::mdp

protected

Definition at line 16 of file PermissiveSchedulerComputation.h.

mGoals

template<typename RM >

storm::storage::BitVector const& storm::ps::PermissiveSchedulerComputation< RM >::mGoals

protected

Definition at line 17 of file PermissiveSchedulerComputation.h.

mPenalties

template<typename RM >

PermissiveSchedulerPenalties storm::ps::PermissiveSchedulerComputation< RM >::mPenalties

protected

Definition at line 19 of file PermissiveSchedulerComputation.h.

mSinks

template<typename RM >

storm::storage::BitVector const& storm::ps::PermissiveSchedulerComputation< RM >::mSinks

protected

Definition at line 18 of file PermissiveSchedulerComputation.h.

---

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

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