faudes::ReductionStateInfo Struct Reference

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

#include <syn_supreduce.h>

List of all members.

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 33 of file syn_supreduce.h.


Member Data Documentation


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

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen