faudes::ReductionStateInfo Struct Reference

Detailed Description

Data structure for identifying states in the same coset for supervisor reduction.

Definition at line 47 of file syn_supreduce.cpp.

Public Attributes
StateSet	mPlantStates
EventSet	mEnabledEvents
EventSet	mDisabledEvents
bool	mMarkedState
bool	mPlantMarked

Member Data Documentation

mDisabledEvents

EventSet faudes::ReductionStateInfo::mDisabledEvents

Definition at line 50 of file syn_supreduce.cpp.

mEnabledEvents

EventSet faudes::ReductionStateInfo::mEnabledEvents

Definition at line 49 of file syn_supreduce.cpp.

mMarkedState

bool faudes::ReductionStateInfo::mMarkedState

Definition at line 51 of file syn_supreduce.cpp.

mPlantMarked

bool faudes::ReductionStateInfo::mPlantMarked

Definition at line 52 of file syn_supreduce.cpp.

mPlantStates

StateSet faudes::ReductionStateInfo::mPlantStates

Definition at line 48 of file syn_supreduce.cpp.

---

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

• syn_supreduce.cpp