storm::modelchecker::PartitioningProgress< T > Class Template Reference

Public Member Functions
	PartitioningProgress (T const totalArea, T const coverageThreshold=storm::utility::zero< T >())
uint64_t	getUndiscoveredPercentage () const
bool	isCoverageThresholdReached () const
T	addDiscoveredArea (T const &area)
void	addAllSatArea (T const &area)
void	addAllViolatedArea (T const &area)
void	addAllIllDefinedArea (T const &area)

Detailed Description

template<typename T>
class storm::modelchecker::PartitioningProgress< T >

Definition at line 67 of file RegionRefinementChecker.cpp.

Constructor & Destructor Documentation

PartitioningProgress()

template<typename T >

storm::modelchecker::PartitioningProgress< T >::PartitioningProgress ( T const  totalArea, T const  coverageThreshold = storm::utility::zero<T>()  )

inline

Definition at line 69 of file RegionRefinementChecker.cpp.

Member Function Documentation

addAllIllDefinedArea()

template<typename T >

void storm::modelchecker::PartitioningProgress< T >::addAllIllDefinedArea ( T const &  area )

inline

Definition at line 103 of file RegionRefinementChecker.cpp.

addAllSatArea()

template<typename T >

void storm::modelchecker::PartitioningProgress< T >::addAllSatArea ( T const &  area )

inline

Definition at line 95 of file RegionRefinementChecker.cpp.

addAllViolatedArea()

template<typename T >

void storm::modelchecker::PartitioningProgress< T >::addAllViolatedArea ( T const &  area )

inline

Definition at line 99 of file RegionRefinementChecker.cpp.

addDiscoveredArea()

template<typename T >

T storm::modelchecker::PartitioningProgress< T >::addDiscoveredArea ( T const &  area )

inline

Definition at line 88 of file RegionRefinementChecker.cpp.

getUndiscoveredPercentage()

template<typename T >

uint64_t storm::modelchecker::PartitioningProgress< T >::getUndiscoveredPercentage ( ) const

inline

Definition at line 80 of file RegionRefinementChecker.cpp.

isCoverageThresholdReached()

template<typename T >

bool storm::modelchecker::PartitioningProgress< T >::isCoverageThresholdReached ( ) const

inline

Definition at line 84 of file RegionRefinementChecker.cpp.

---

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

• src/storm-pars/modelchecker/region/RegionRefinementChecker.cpp