Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Attributes | List of all members
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: