storm::pomdp::ObservationTraceUnfolderOptions Class Reference

#include <ObservationTraceUnfolder.h>

Public Attributes
bool	useRestartSemantics = true

Detailed Description

Definition at line 8 of file ObservationTraceUnfolder.h.

Member Data Documentation

useRestartSemantics

bool storm::pomdp::ObservationTraceUnfolderOptions::useRestartSemantics = true

Definition at line 10 of file ObservationTraceUnfolder.h.

---

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

• src/storm-pomdp/transformer/ObservationTraceUnfolder.h