Data Fields
gfsmStateWeightPair Struct Reference

Type for a (gfsmStateId,gfsmWeight) pair (used by algebraic operations)

#include <gfsmCompound.h>

Data Fields

gfsmStateId id
gfsmWeight w

Field Documentation

gfsmStateId gfsmStateWeightPair::id

state-id

gfsmWeight gfsmStateWeightPair::w

weight


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