storm::umb::ValuationDescription Struct Reference

#include <ValuationDescription.h>

Public Types
using	JsonSerialization = storm::JsonSerialization

Public Attributes
bool	unique {false}
std::optional< uint64_t >	numStrings
std::vector< ValuationClassDescription >	classes

Static Public Attributes
static auto constexpr	JsonKeys = {"unique", "#strings", "classes"}

Detailed Description

Definition at line 37 of file ValuationDescription.h.

Member Typedef Documentation

JsonSerialization

using storm::umb::ValuationDescription::JsonSerialization = storm::JsonSerialization

Definition at line 42 of file ValuationDescription.h.

Member Data Documentation

classes

std::vector<ValuationClassDescription> storm::umb::ValuationDescription::classes

Definition at line 40 of file ValuationDescription.h.

JsonKeys

auto constexpr storm::umb::ValuationDescription::JsonKeys = {"unique", "#strings", "classes"}

staticconstexpr

Definition at line 41 of file ValuationDescription.h.

numStrings

std::optional<uint64_t> storm::umb::ValuationDescription::numStrings

Definition at line 39 of file ValuationDescription.h.

unique

bool storm::umb::ValuationDescription::unique {false}

Definition at line 38 of file ValuationDescription.h.

---

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

• src/storm/storage/umb/model/ValuationDescription.h