faudes::SOE::State Struct Reference

Detailed Description

internal representation of transition relation with consecutive indexed states and events

Definition at line 118 of file syn_synthequiv.cpp.

Public Attributes
Idx	idx
vector< vector< Idx > >	suc
vector< vector< Idx > >	pre
vector< vector< Idx > >	shaconPre
vector< vector< Idx > >	shauncPre
vector< Idx >	locconPre
vector< Idx >	locuncPre
vector< Idx >	locuncPres
vector< vector< Idx > >	shauncPres

Member Data Documentation

idx

Idx faudes::SOE::State::idx

Part 1

Definition at line 120 of file syn_synthequiv.cpp.

locconPre

vector<Idx> faudes::SOE::State::locconPre

Definition at line 127 of file syn_synthequiv.cpp.

locuncPre

vector<Idx> faudes::SOE::State::locuncPre

Definition at line 128 of file syn_synthequiv.cpp.

locuncPres

vector<Idx> faudes::SOE::State::locuncPres

Part 3:

Definition at line 132 of file syn_synthequiv.cpp.

pre

vector< vector<Idx> > faudes::SOE::State::pre

Definition at line 122 of file syn_synthequiv.cpp.

shaconPre

vector< vector<Idx> > faudes::SOE::State::shaconPre

Part 2 (only via an transition)

Definition at line 125 of file syn_synthequiv.cpp.

shauncPre

vector< vector<Idx> > faudes::SOE::State::shauncPre

Definition at line 126 of file syn_synthequiv.cpp.

shauncPres

vector< vector<Idx> > faudes::SOE::State::shauncPres

Definition at line 136 of file syn_synthequiv.cpp.

suc

vector< vector<Idx> > faudes::SOE::State::suc

Definition at line 121 of file syn_synthequiv.cpp.

---

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

• syn_synthequiv.cpp