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:

• src/storm/storage/ExplicitGameStrategy.h
• src/storm/storage/ExplicitGameStrategy.cpp