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.

Public Attributes
Idx	idx

vector< vector< Idx > >	suc

vector< vector< Idx > >	pre

size_t	iscnt

size_t	ilcnt

Member Data Documentation

◆ idx

Idx faudes::Bisimulation::State::idx

Definition at line 207 of file cfl_bisimulation.cpp.

◆ ilcnt

size_t faudes::Bisimulation::State::ilcnt

Definition at line 211 of file cfl_bisimulation.cpp.

◆ iscnt

size_t faudes::Bisimulation::State::iscnt

Definition at line 210 of file cfl_bisimulation.cpp.

◆ pre

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

Definition at line 209 of file cfl_bisimulation.cpp.

◆ suc

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:

cfl_bisimulation.cpp