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

#include <ValuationDescription.h>

Classes

struct  Padding
struct  Variable

Public Types

using JsonSerialization = storm::JsonSerialization

Public Member Functions

uint64_t sizeInBits () const
 Computes the size in bits of a valuation.

Public Attributes

std::vector< std::variant< Padding, Variable > > variables

Static Public Attributes

static auto constexpr JsonKeys = {"variables"}

Detailed Description

Definition at line 12 of file ValuationDescription.h.

Member Typedef Documentation

◆ JsonSerialization

using storm::umb::ValuationClassDescription::JsonSerialization = storm::JsonSerialization

Definition at line 28 of file ValuationDescription.h.

Member Function Documentation

◆ sizeInBits()

uint64_t storm::umb::ValuationClassDescription::sizeInBits ( ) const

Computes the size in bits of a valuation.

The size is the sum of all padding and size values plus 1 for each variable where isOptional is true.

Definition at line 4 of file ValuationDescription.cpp.

Member Data Documentation

◆ JsonKeys

auto constexpr storm::umb::ValuationClassDescription::JsonKeys = {"variables"}
staticconstexpr

Definition at line 27 of file ValuationDescription.h.

◆ variables

std::vector<std::variant<Padding, Variable> > storm::umb::ValuationClassDescription::variables

Definition at line 26 of file ValuationDescription.h.

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