storm::storage::sparse::Valuations Member List

This is the complete list of members for storm::storage::sparse::Valuations, including all inherited members.

entityHasVariable(uint64_t entity, storm::expressions::Variable const &variable) const	storm::storage::sparse::Valuations
getAllVariables() const	storm::storage::sparse::Valuations
getBooleanValue(uint64_t const entity, storm::expressions::Variable const &booleanVariable) const	storm::storage::sparse::Valuations
getBooleanValues(storm::expressions::Variable const &booleanVariable) const	storm::storage::sparse::Valuations
getDoubleValue(uint64_t const entity, storm::expressions::Variable const &doubleVariable) const	storm::storage::sparse::Valuations
getDoubleValues(storm::expressions::Variable const &doubleVariable) const	storm::storage::sparse::Valuations
getInt64Value(uint64_t const entity, storm::expressions::Variable const &integerVariable) const	storm::storage::sparse::Valuations
getInt64Values(storm::expressions::Variable const &integerVariable) const	storm::storage::sparse::Valuations
getManager() const	storm::storage::sparse::Valuations
getNumberOfEntities() const	storm::storage::sparse::Valuations
getOptionalBooleanValue(uint64_t const entity, storm::expressions::Variable const &booleanVariable) const	storm::storage::sparse::Valuations
getOptionalDoubleValue(uint64_t const entity, storm::expressions::Variable const &doubleVariable) const	storm::storage::sparse::Valuations
getOptionalInt64Value(uint64_t const entity, storm::expressions::Variable const &integerVariable) const	storm::storage::sparse::Valuations
getOptionalRationalValue(uint64_t const entity, storm::expressions::Variable const &rationalVariable) const	storm::storage::sparse::Valuations
getOptionalStringValue(uint64_t const entity, storm::expressions::Variable const &stringVariable) const	storm::storage::sparse::Valuations
getRationalValue(uint64_t const entity, storm::expressions::Variable const &rationalVariable) const	storm::storage::sparse::Valuations
getRationalValues(storm::expressions::Variable const &rationalVariable) const	storm::storage::sparse::Valuations
getStorage() const	storm::storage::sparse::Valuations
getStorage()	storm::storage::sparse::Valuations
getStringValue(uint64_t const entity, storm::expressions::Variable const &stringVariable) const	storm::storage::sparse::Valuations
getStringValues(storm::expressions::Variable const &stringVariable) const	storm::storage::sparse::Valuations
hash() const	storm::storage::sparse::Valuations
operator=(Valuations &&other)	storm::storage::sparse::Valuations
operator=(Valuations const &other)	storm::storage::sparse::Valuations
selectEntities(storm::storage::BitVector const &selectedEntities) const	storm::storage::sparse::Valuations
selectEntities(std::vector< uint64_t > const &selectedEntities) const	storm::storage::sparse::Valuations
setValuesInEvaluator(uint64_t entity, storm::expressions::ExpressionEvaluator< RationalValueType > &evaluator) const	storm::storage::sparse::Valuations
toJson(uint64_t const entity, std::optional< std::set< storm::expressions::Variable > > const &selectedVariables={}) const	storm::storage::sparse::Valuations
toString(uint64_t const entity, bool const pretty=true, std::optional< std::set< storm::expressions::Variable > > const &selectedVariables={}) const	storm::storage::sparse::Valuations
Valuations(ValuationClassDescription const valuationClassDescription, std::shared_ptr< storm::expressions::ExpressionManager const > const &manager={}, uint64_t const numEntities=0)	storm::storage::sparse::Valuations
Valuations(ValuationsStorage &&umbValuations)	storm::storage::sparse::Valuations
Valuations(Valuations const &other)	storm::storage::sparse::Valuations
Valuations(Valuations &&other)	storm::storage::sparse::Valuations
~Valuations()	storm::storage::sparse::Valuations