Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Friends | List of all members
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 17 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 16 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 119 of file Block.cpp.

◆ data() [1/2]

template<typename DataType >
DataType & storm::storage::bisimulation::Block< DataType >::data ( )

Definition at line 132 of file Block.cpp.

◆ data() [2/2]

template<typename DataType >
DataType const & storm::storage::bisimulation::Block< DataType >::data ( ) const

Definition at line 137 of file Block.cpp.

◆ getBeginIndex()

template<typename DataType >
storm::storage::sparse::state_type storm::storage::bisimulation::Block< DataType >::getBeginIndex ( ) const

Definition at line 69 of file Block.cpp.

◆ getEndIndex()

template<typename DataType >
storm::storage::sparse::state_type storm::storage::bisimulation::Block< DataType >::getEndIndex ( ) const

Definition at line 74 of file Block.cpp.

◆ getId()

template<typename DataType >
std::size_t storm::storage::bisimulation::Block< DataType >::getId ( ) const

Definition at line 64 of file Block.cpp.

◆ getNextBlock()

template<typename DataType >
Block< DataType > const & storm::storage::bisimulation::Block< DataType >::getNextBlock ( ) const

Definition at line 79 of file Block.cpp.

◆ getNextBlockPointer() [1/2]

template<typename DataType >
Block< DataType > * storm::storage::bisimulation::Block< DataType >::getNextBlockPointer ( )

Definition at line 89 of file Block.cpp.

◆ getNextBlockPointer() [2/2]

template<typename DataType >
Block< DataType > const * storm::storage::bisimulation::Block< DataType >::getNextBlockPointer ( ) const

Definition at line 94 of file Block.cpp.

◆ getNumberOfStates()

template<typename DataType >
std::size_t storm::storage::bisimulation::Block< DataType >::getNumberOfStates ( ) const

Definition at line 127 of file Block.cpp.

◆ getPreviousBlock()

template<typename DataType >
Block< DataType > const & storm::storage::bisimulation::Block< DataType >::getPreviousBlock ( ) const

Definition at line 99 of file Block.cpp.

◆ getPreviousBlockPointer() [1/2]

template<typename DataType >
Block< DataType > * storm::storage::bisimulation::Block< DataType >::getPreviousBlockPointer ( )

Definition at line 104 of file Block.cpp.

◆ getPreviousBlockPointer() [2/2]

template<typename DataType >
Block< DataType > const * storm::storage::bisimulation::Block< DataType >::getPreviousBlockPointer ( ) const

Definition at line 109 of file Block.cpp.

◆ hasNextBlock()

template<typename DataType >
bool storm::storage::bisimulation::Block< DataType >::hasNextBlock ( ) const

Definition at line 84 of file Block.cpp.

◆ hasPreviousBlock()

template<typename DataType >
bool storm::storage::bisimulation::Block< DataType >::hasPreviousBlock ( ) const

Definition at line 114 of file Block.cpp.

◆ operator!=()

template<typename DataType >
bool storm::storage::bisimulation::Block< DataType >::operator!= ( Block< DataType > const &  other) const

Definition at line 35 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 30 of file Block.cpp.

◆ print()

template<typename DataType >
void storm::storage::bisimulation::Block< DataType >::print ( Partition< DataType > const &  partition) const

Definition at line 40 of file Block.cpp.

◆ resetMarkers()

template<typename DataType >
void storm::storage::bisimulation::Block< DataType >::resetMarkers ( )

Definition at line 142 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: