faudes::ReductionStateInfo Struct Reference

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

#include <syn_supreduce.h>

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

EventSet faudes::ReductionStateInfo::mDisabledEvents

Definition at line 36 of file syn_supreduce.h.

EventSet faudes::ReductionStateInfo::mEnabledEvents

Definition at line 35 of file syn_supreduce.h.

bool faudes::ReductionStateInfo::mMarkedState

Definition at line 37 of file syn_supreduce.h.

bool faudes::ReductionStateInfo::mPlantMarked

Definition at line 38 of file syn_supreduce.h.

StateSet faudes::ReductionStateInfo::mPlantStates

Definition at line 34 of file syn_supreduce.h.


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

libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen