ValuationsStorage.h File Reference

#include <bit>
#include <concepts>
#include <cstdint>
#include <memory>
#include <optional>
#include <set>
#include <span>
#include <sstream>
#include <typeinfo>
#include "storm/storage/expressions/ExpressionManager.h"
#include "storm/storage/expressions/Variable.h"
#include "storm/storage/umb/model/StringEncoding.h"
#include "storm/storage/umb/model/UmbModel.h"
#include "storm/storage/valuations/ValuationDescription.h"
#include "storm/utility/macros.h"
#include "storm/exceptions/NotSupportedException.h"
#include "storm/exceptions/OutOfRangeException.h"
#include "storm/exceptions/UnexpectedException.h"

Include dependency graph for ValuationsStorage.h:

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

Go to the source code of this file.

Classes
class	storm::storage::sparse::ValuationsStorage
	Stores valuations of variables for a set of entities (e.g. More...
struct	storm::storage::sparse::ValuationsStorage::VariableInformation
	Compiled information about a single variable within a valuation class. More...
struct	storm::storage::sparse::ValuationsStorage::VariablesInformation
	Compiled information about all variables belonging to one valuation class. More...

Namespaces
namespace	storm
namespace	storm::expressions
namespace	storm::storage
namespace	storm::storage::sparse

Concepts
concept	storm::storage::sparse::ValuationReadCallback
	Concept for a callback used in readCallback / readValue.
concept	storm::storage::sparse::ValuationWriteCallback
	Concept for a callback used in writeCallback / writeValue.