storm::logic::RewardAccumulation Class Reference

#include <RewardAccumulation.h>

Public Member Functions
	RewardAccumulation (bool steps, bool time, bool exit)
	RewardAccumulation (RewardAccumulation const &other)=default
	RewardAccumulation (RewardAccumulation &&other)=default
RewardAccumulation &	operator= (RewardAccumulation const &other)=default
RewardAccumulation &	operator= (RewardAccumulation &&other)=default
bool	isStepsSet () const
bool	isTimeSet () const
bool	isExitSet () const
bool	isEmpty () const
uint64_t	size () const

Detailed Description

Definition at line 8 of file RewardAccumulation.h.

Constructor & Destructor Documentation

RewardAccumulation() [1/3]

storm::logic::RewardAccumulation::RewardAccumulation	(	bool	steps,
		bool	time,
		bool	exit
	)

Definition at line 7 of file RewardAccumulation.cpp.

RewardAccumulation() [2/3]

storm::logic::RewardAccumulation::RewardAccumulation ( RewardAccumulation const &  other )

default

RewardAccumulation() [3/3]

storm::logic::RewardAccumulation::RewardAccumulation ( RewardAccumulation &&  other )

default

Member Function Documentation

isEmpty()

bool storm::logic::RewardAccumulation::isEmpty

(

)

const

Definition at line 23 of file RewardAccumulation.cpp.

isExitSet()

bool storm::logic::RewardAccumulation::isExitSet

(

)

const

Definition at line 19 of file RewardAccumulation.cpp.

isStepsSet()

bool storm::logic::RewardAccumulation::isStepsSet

(

)

const

Definition at line 11 of file RewardAccumulation.cpp.

isTimeSet()

bool storm::logic::RewardAccumulation::isTimeSet

(

)

const

Definition at line 15 of file RewardAccumulation.cpp.

operator=() [1/2]

RewardAccumulation & storm::logic::RewardAccumulation::operator= ( RewardAccumulation &&  other )

default

operator=() [2/2]

RewardAccumulation & storm::logic::RewardAccumulation::operator= ( RewardAccumulation const &  other )

default

size()

uint64_t storm::logic::RewardAccumulation::size

(

)

const

Definition at line 27 of file RewardAccumulation.cpp.

---

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

• src/storm/logic/RewardAccumulation.h
• src/storm/logic/RewardAccumulation.cpp