storm::gspn::TransitionPartition Struct Reference

#include <TransitionPartition.h>

Public Member Functions
uint64_t	nrTransitions () const

Public Attributes
std::vector< uint64_t >	transitions
uint64_t	priority

Detailed Description

Definition at line 7 of file TransitionPartition.h.

Member Function Documentation

nrTransitions()

uint64_t storm::gspn::TransitionPartition::nrTransitions ( ) const

inline

Definition at line 11 of file TransitionPartition.h.

Member Data Documentation

priority

uint64_t storm::gspn::TransitionPartition::priority

Definition at line 9 of file TransitionPartition.h.

transitions

std::vector<uint64_t> storm::gspn::TransitionPartition::transitions

Definition at line 8 of file TransitionPartition.h.

---

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

• src/storm-gspn/storage/gspn/TransitionPartition.h