storm::ps::PermissiveSchedulerPenalties Class Reference

#include <PermissiveSchedulerPenalty.h>

Public Member Functions
double	get (uint_fast64_t state, uint_fast64_t action) const
double	get (storage::StateActionPair const &sap) const
void	set (uint64_t state, uint64_t action, double penalty)
void	clear ()

Detailed Description

Definition at line 10 of file PermissiveSchedulerPenalty.h.

Member Function Documentation

clear()

void storm::ps::PermissiveSchedulerPenalties::clear ( )

inline

Definition at line 39 of file PermissiveSchedulerPenalty.h.

get() [1/2]

double storm::ps::PermissiveSchedulerPenalties::get ( storage::StateActionPair const & sap ) const

inline

Definition at line 18 of file PermissiveSchedulerPenalty.h.

get() [2/2]

double storm::ps::PermissiveSchedulerPenalties::get ( uint_fast64_t state, uint_fast64_t action ) const

inline

Definition at line 14 of file PermissiveSchedulerPenalty.h.

set()

void storm::ps::PermissiveSchedulerPenalties::set ( uint64_t state, uint64_t action, double penalty )

inline

Definition at line 27 of file PermissiveSchedulerPenalty.h.

---

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

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