Public Member Functions

void writeInfoMap (Idx event) const
 write info-map to console

Public Attributes

Idx index
 unique partition index
std::vector< Idxstates
 Associated set of states.
Idx nsize
 number of states in this coset
PnodepParent
 ref or relatives
PnodepFirstChild
PnodepSecondChild
bool rostable
 indicates whether the current partition ro is stable with respect to this block
std::vector< std::map< Idx, Idx > > infoMap
 Info-map.
std::vector< bool > activeEv
 flag to inicate non-empty infoMap per event (for use with alternative info-map constructs)

Detailed Description

Definition at line 67 of file cfl_bisimulation.cpp.

Member Function Documentation

void faudes::Pnode::writeInfoMap ( Idx  event) const
inline

write info-map to console

Parameters
eventevent for which the info-map shall be plotted

Definition at line 105 of file cfl_bisimulation.cpp.

Member Data Documentation

std::vector<bool> faudes::Pnode::activeEv

flag to inicate non-empty infoMap per event (for use with alternative info-map constructs)

Definition at line 97 of file cfl_bisimulation.cpp.

Idx faudes::Pnode::index

unique partition index

Definition at line 70 of file cfl_bisimulation.cpp.

std::vector<std::map<Idx,Idx> > faudes::Pnode::infoMap

Info-map.

First Idx: ev, second Idx: state q, third Idx: number q-ev-successors in this node

Definition at line 94 of file cfl_bisimulation.cpp.

Idx faudes::Pnode::nsize

number of states in this coset

Definition at line 83 of file cfl_bisimulation.cpp.

Pnode* faudes::Pnode::pFirstChild

Definition at line 87 of file cfl_bisimulation.cpp.

Pnode* faudes::Pnode::pParent

ref or relatives

Definition at line 86 of file cfl_bisimulation.cpp.

Pnode* faudes::Pnode::pSecondChild

Definition at line 88 of file cfl_bisimulation.cpp.

bool faudes::Pnode::rostable

indicates whether the current partition ro is stable with respect to this block

Definition at line 91 of file cfl_bisimulation.cpp.

std::vector<Idx> faudes::Pnode::states

Associated set of states.

Definition at line 80 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