Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
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: