SparseAccumulator.h File Reference

#include <cstdint>
#include <type_traits>
#include <vector>

Include dependency graph for SparseAccumulator.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	storm::bisimulation::SparseAccumulator< ValueType >
	Accumulates a value for each state (numbers are added up, elements are inserted into sets, c.f. More...

Namespaces
namespace	storm
namespace	storm::bisimulation

Typedefs
using	storm::bisimulation::WrappingSetAccumulator = SparseAccumulator<uint64_t>
	Accumulates a set of indices for each state, where only the index modulo 64 is stored, namely as a bit of a 64 bit mask.