Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::umb::Valuations Class Reference

#include <Valuations.h>

Public Member Functions

 Valuations (std::vector< ValuationClassDescription > const &descriptions, std::vector< char > valuations, std::vector< uint64_t > stringMapping, std::vector< char > strings, std::optional< std::vector< uint32_t > > classes={}, std::vector< std::shared_ptr< storm::expressions::ExpressionManager > > expressionManagers={})
 Valuations (std::vector< ValuationClassDescription > descriptions, std::vector< char > valuations, std::optional< std::vector< uint32_t > > classes={}, std::vector< std::shared_ptr< storm::expressions::ExpressionManager > > expressionManagers={})
uint64_t size () const
uint64_t numStrings () const
void read (uint64_t entity, auto const &callback) const
void read (auto const &callback) const

Detailed Description

Definition at line 24 of file Valuations.h.

Constructor & Destructor Documentation

◆ Valuations() [1/2]

storm::umb::Valuations::Valuations ( std::vector< ValuationClassDescription > const & descriptions,
std::vector< char > valuations,
std::vector< uint64_t > stringMapping,
std::vector< char > strings,
std::optional< std::vector< uint32_t > > classes = {},
std::vector< std::shared_ptr< storm::expressions::ExpressionManager > > expressionManagers = {} )
inline

Definition at line 26 of file Valuations.h.

◆ Valuations() [2/2]

storm::umb::Valuations::Valuations ( std::vector< ValuationClassDescription > descriptions,
std::vector< char > valuations,
std::optional< std::vector< uint32_t > > classes = {},
std::vector< std::shared_ptr< storm::expressions::ExpressionManager > > expressionManagers = {} )
inline

Definition at line 63 of file Valuations.h.

Member Function Documentation

◆ numStrings()

uint64_t storm::umb::Valuations::numStrings ( ) const
inline

Definition at line 77 of file Valuations.h.

◆ read() [1/2]

void storm::umb::Valuations::read ( auto const & callback) const
inline

Definition at line 87 of file Valuations.h.

◆ read() [2/2]

void storm::umb::Valuations::read ( uint64_t entity,
auto const & callback ) const
inline

Definition at line 81 of file Valuations.h.

◆ size()

uint64_t storm::umb::Valuations::size ( ) const
inline

Definition at line 69 of file Valuations.h.

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