faudes::ReductionStateInfo Struct Reference

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

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 43 of file syn_supreduce.cpp.

Member Data Documentation

EventSet faudes::ReductionStateInfo::mDisabledEvents

Definition at line 46 of file syn_supreduce.cpp.

EventSet faudes::ReductionStateInfo::mEnabledEvents

Definition at line 45 of file syn_supreduce.cpp.

bool faudes::ReductionStateInfo::mMarkedState

Definition at line 47 of file syn_supreduce.cpp.

bool faudes::ReductionStateInfo::mPlantMarked

Definition at line 48 of file syn_supreduce.cpp.

StateSet faudes::ReductionStateInfo::mPlantStates

Definition at line 44 of file syn_supreduce.cpp.


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

libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen