storm::io::DirectEncodingOptions Struct Reference

#include <DirectEncodingExporter.h>

Public Attributes
bool	allowPlaceholders = true

Detailed Description

Definition at line 11 of file DirectEncodingExporter.h.

Member Data Documentation

allowPlaceholders

bool storm::io::DirectEncodingOptions::allowPlaceholders = true

Definition at line 12 of file DirectEncodingExporter.h.

---

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

• src/storm/io/DirectEncodingExporter.h