Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Static Public Attributes | List of all members
storm::storage::ExplicitGameStrategy Class Reference

#include <ExplicitGameStrategy.h>

Public Member Functions

 ExplicitGameStrategy (uint64_t numberOfStates)
 
 ExplicitGameStrategy (std::vector< uint64_t > &&choices)
 
uint64_t getNumberOfStates () const
 
uint64_t getChoice (uint64_t state) const
 
void setChoice (uint64_t state, uint64_t choice)
 
bool hasDefinedChoice (uint64_t state) const
 
void undefineAll ()
 
uint64_t getNumberOfUndefinedStates () const
 

Static Public Attributes

static const uint64_t UNDEFINED = std::numeric_limits<uint64_t>::max()
 

Detailed Description

Definition at line 10 of file ExplicitGameStrategy.h.

Constructor & Destructor Documentation

◆ ExplicitGameStrategy() [1/2]

storm::storage::ExplicitGameStrategy::ExplicitGameStrategy ( uint64_t  numberOfStates)

Definition at line 11 of file ExplicitGameStrategy.cpp.

◆ ExplicitGameStrategy() [2/2]

storm::storage::ExplicitGameStrategy::ExplicitGameStrategy ( std::vector< uint64_t > &&  choices)

Definition at line 15 of file ExplicitGameStrategy.cpp.

Member Function Documentation

◆ getChoice()

uint64_t storm::storage::ExplicitGameStrategy::getChoice ( uint64_t  state) const

Definition at line 23 of file ExplicitGameStrategy.cpp.

◆ getNumberOfStates()

uint64_t storm::storage::ExplicitGameStrategy::getNumberOfStates ( ) const

Definition at line 19 of file ExplicitGameStrategy.cpp.

◆ getNumberOfUndefinedStates()

uint64_t storm::storage::ExplicitGameStrategy::getNumberOfUndefinedStates ( ) const

Definition at line 41 of file ExplicitGameStrategy.cpp.

◆ hasDefinedChoice()

bool storm::storage::ExplicitGameStrategy::hasDefinedChoice ( uint64_t  state) const

Definition at line 31 of file ExplicitGameStrategy.cpp.

◆ setChoice()

void storm::storage::ExplicitGameStrategy::setChoice ( uint64_t  state,
uint64_t  choice 
)

Definition at line 27 of file ExplicitGameStrategy.cpp.

◆ undefineAll()

void storm::storage::ExplicitGameStrategy::undefineAll ( )

Definition at line 35 of file ExplicitGameStrategy.cpp.

Member Data Documentation

◆ UNDEFINED

const uint64_t storm::storage::ExplicitGameStrategy::UNDEFINED = std::numeric_limits<uint64_t>::max()
static

Definition at line 12 of file ExplicitGameStrategy.h.

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