gfsmStatePair Struct Reference

Matched pair of state-ids (used for automaton intersection)

#include <gfsmCompound.h>

Data Fields
gfsmStateId	id1
gfsmStateId	id2

Field Documentation

gfsmStateId gfsmStatePair::id1

Id of first component

gfsmStateId gfsmStatePair::id2

Id of second component

---

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

• gfsmCompound.h