faudes::Bisimulation::State Struct Reference

 internal representation of transition relation with consecutive indexed states and events

Revision 20150724 tmoor — technically, re-indexing is equivalent to "pointers on source indicees" and buffers log-n searches [30sec -> 10sec for our testcases] More...

Public Attributes

Idx idx
vector< vector< Idx > > suc
vector< vector< Idx > > pre
size_t iscnt
size_t ilcnt

Detailed Description

 internal representation of transition relation with consecutive indexed states and events

Revision 20150724 tmoor — technically, re-indexing is equivalent to "pointers on source indicees" and buffers log-n searches [30sec -> 10sec for our testcases]

Definition at line 206 of file cfl_bisimulation.cpp.

Member Data Documentation

Idx faudes::Bisimulation::State::idx

Definition at line 207 of file cfl_bisimulation.cpp.

size_t faudes::Bisimulation::State::ilcnt

Definition at line 211 of file cfl_bisimulation.cpp.

size_t faudes::Bisimulation::State::iscnt

Definition at line 210 of file cfl_bisimulation.cpp.

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

Definition at line 209 of file cfl_bisimulation.cpp.

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

Definition at line 208 of file cfl_bisimulation.cpp.


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

libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen