faudes::ReductionStateInfo Struct Reference

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

Detailed Description

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

Definition at line 47 of file syn_supreduce.cpp.

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