storm::storage::StateActionTarget Struct Reference

#include <StateActionTargetTuple.h>

Public Attributes
uint_fast64_t	state
uint_fast64_t	action
uint_fast64_t	target

Detailed Description

Definition at line 9 of file StateActionTargetTuple.h.

Member Data Documentation

action

uint_fast64_t storm::storage::StateActionTarget::action

Definition at line 11 of file StateActionTargetTuple.h.

state

uint_fast64_t storm::storage::StateActionTarget::state

Definition at line 10 of file StateActionTargetTuple.h.

target

uint_fast64_t storm::storage::StateActionTarget::target

Definition at line 12 of file StateActionTargetTuple.h.

---

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

• src/storm/storage/StateActionTargetTuple.h