faudes::SOE::State Struct Reference

internal representation of transition relation with consecutive indexed states and events More...

Public Attributes

Idx idx
 Part 1.
vector< vector< Idx > > suc
vector< vector< Idx > > pre
vector< vector< Idx > > shaconPre
 Part 2 (only via an transition)
vector< vector< Idx > > shauncPre
vector< IdxlocconPre
vector< IdxlocuncPre
vector< IdxlocuncPres
 Part 3:
vector< vector< Idx > > shauncPres

Detailed Description

internal representation of transition relation with consecutive indexed states and events

Definition at line 118 of file syn_synthequiv.cpp.

Member Data Documentation

Idx faudes::SOE::State::idx

Part 1.

Definition at line 120 of file syn_synthequiv.cpp.

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

Definition at line 127 of file syn_synthequiv.cpp.

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

Definition at line 128 of file syn_synthequiv.cpp.

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

Part 3:

Definition at line 132 of file syn_synthequiv.cpp.

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

Definition at line 122 of file syn_synthequiv.cpp.

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

Part 2 (only via an transition)

Definition at line 125 of file syn_synthequiv.cpp.

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

Definition at line 126 of file syn_synthequiv.cpp.

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

Definition at line 136 of file syn_synthequiv.cpp.

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:

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