storm::storage::bisimulation::Block< DataType > Class Template Reference

#include <Block.h>

Public Member Functions
	Block (storm::storage::sparse::state_type beginIndex, storm::storage::sparse::state_type endIndex, Block *previous, Block *next, std::size_t id)
	Block ()=default
	Block (Block const &other)=default
Block &	operator= (Block const &other)=default
	Block (Block &&other)=default
Block &	operator= (Block &&other)=default
bool	operator== (Block const &other) const
bool	operator!= (Block const &other) const
void	print (Partition< DataType > const &partition) const
storm::storage::sparse::state_type	getBeginIndex () const
storm::storage::sparse::state_type	getEndIndex () const
Block const &	getNextBlock () const
Block *	getNextBlockPointer ()
Block const *	getNextBlockPointer () const
bool	hasNextBlock () const
Block const &	getPreviousBlock () const
Block *	getPreviousBlockPointer ()
Block const *	getPreviousBlockPointer () const
bool	hasPreviousBlock () const
bool	check () const
std::size_t	getNumberOfStates () const
DataType &	data ()
DataType const &	data () const
void	resetMarkers ()
std::size_t	getId () const

Friends
class	Partition< DataType >

Detailed Description

template<typename DataType>
class storm::storage::bisimulation::Block< DataType >

Definition at line 13 of file Block.h.

Constructor & Destructor Documentation

Block() [1/4]

template<typename DataType>

storm::storage::bisimulation::Block< DataType >::Block	(	storm::storage::sparse::state_type	beginIndex,
		storm::storage::sparse::state_type	endIndex,
		Block< DataType > *	previous,
		Block< DataType > *	next,
		std::size_t	id )

Definition at line 14 of file Block.cpp.

Block() [2/4]

template<typename DataType>

storm::storage::bisimulation::Block< DataType >::Block ( )

default

Block() [3/4]

template<typename DataType>

storm::storage::bisimulation::Block< DataType >::Block ( Block< DataType > const & other )

default

Block() [4/4]

template<typename DataType>

storm::storage::bisimulation::Block< DataType >::Block ( Block< DataType > && other )

default

Member Function Documentation

check()

template<typename DataType>

bool storm::storage::bisimulation::Block< DataType >::check

(

)

const

Definition at line 117 of file Block.cpp.

data() [1/2]

template<typename DataType>

DataType & storm::storage::bisimulation::Block< DataType >::data

(

)

Definition at line 130 of file Block.cpp.

data() [2/2]

template<typename DataType>

DataType const & storm::storage::bisimulation::Block< DataType >::data

(

)

const

Definition at line 135 of file Block.cpp.

getBeginIndex()

template<typename DataType>

storm::storage::sparse::state_type storm::storage::bisimulation::Block< DataType >::getBeginIndex

(

)

const

Definition at line 67 of file Block.cpp.

getEndIndex()

template<typename DataType>

storm::storage::sparse::state_type storm::storage::bisimulation::Block< DataType >::getEndIndex

(

)

const

Definition at line 72 of file Block.cpp.

getId()

template<typename DataType>

std::size_t storm::storage::bisimulation::Block< DataType >::getId

(

)

const

Definition at line 62 of file Block.cpp.

getNextBlock()

template<typename DataType>

Block< DataType > const & storm::storage::bisimulation::Block< DataType >::getNextBlock

(

)

const

Definition at line 77 of file Block.cpp.

getNextBlockPointer() [1/2]

template<typename DataType>

Block< DataType > * storm::storage::bisimulation::Block< DataType >::getNextBlockPointer

(

)

Definition at line 87 of file Block.cpp.

getNextBlockPointer() [2/2]

template<typename DataType>

Block< DataType > const * storm::storage::bisimulation::Block< DataType >::getNextBlockPointer

(

)

const

Definition at line 92 of file Block.cpp.

getNumberOfStates()

template<typename DataType>

std::size_t storm::storage::bisimulation::Block< DataType >::getNumberOfStates

(

)

const

Definition at line 125 of file Block.cpp.

getPreviousBlock()

template<typename DataType>

Block< DataType > const & storm::storage::bisimulation::Block< DataType >::getPreviousBlock

(

)

const

Definition at line 97 of file Block.cpp.

getPreviousBlockPointer() [1/2]

template<typename DataType>

Block< DataType > * storm::storage::bisimulation::Block< DataType >::getPreviousBlockPointer

(

)

Definition at line 102 of file Block.cpp.

getPreviousBlockPointer() [2/2]

template<typename DataType>

Block< DataType > const * storm::storage::bisimulation::Block< DataType >::getPreviousBlockPointer

(

)

const

Definition at line 107 of file Block.cpp.

hasNextBlock()

template<typename DataType>

bool storm::storage::bisimulation::Block< DataType >::hasNextBlock

(

)

const

Definition at line 82 of file Block.cpp.

hasPreviousBlock()

template<typename DataType>

bool storm::storage::bisimulation::Block< DataType >::hasPreviousBlock

(

)

const

Definition at line 112 of file Block.cpp.

operator!=()

template<typename DataType>

bool storm::storage::bisimulation::Block< DataType >::operator!=

(

Block< DataType > const &

other

)

const

Definition at line 33 of file Block.cpp.

operator=() [1/2]

template<typename DataType>

Block & storm::storage::bisimulation::Block< DataType >::operator= ( Block< DataType > && other )

default

operator=() [2/2]

template<typename DataType>

Block & storm::storage::bisimulation::Block< DataType >::operator= ( Block< DataType > const & other )

default

operator==()

template<typename DataType>

bool storm::storage::bisimulation::Block< DataType >::operator==

(

Block< DataType > const &

other

)

const

Definition at line 28 of file Block.cpp.

print()

template<typename DataType>

void storm::storage::bisimulation::Block< DataType >::print

(

Partition< DataType > const &

partition

)

const

Definition at line 38 of file Block.cpp.

resetMarkers()

template<typename DataType>

void storm::storage::bisimulation::Block< DataType >::resetMarkers

(

)

Definition at line 140 of file Block.cpp.

Friends And Related Symbol Documentation

Partition< DataType >

template<typename DataType>

friend class Partition< DataType >

friend

Definition at line 1 of file Block.h.

---

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

• src/storm/storage/bisimulation/Block.h
• src/storm/storage/bisimulation/Block.cpp