Public Member Functions
void	writeInfoMap (Idx event) const

Public Attributes
Idx	index

std::vector< Idx >	states

Idx	nsize

Pnode *	pParent

Pnode *	pFirstChild

Pnode *	pSecondChild

bool	rostable

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

std::vector< bool >	activeEv

std::set< Idx >	states

Detailed Description

Definition at line 67 of file cfl_bisimulation.cpp.

Member Function Documentation

◆ writeInfoMap()

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

inline

write info-map to console

Parameters

event event for which the info-map shall be plotted

Definition at line 105 of file cfl_bisimulation.cpp.

Member Data Documentation

◆ activeEv

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.

◆ index

Idx faudes::Pnode::index

unique partition index

Definition at line 70 of file cfl_bisimulation.cpp.

◆ infoMap

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.

◆ nsize

Idx faudes::Pnode::nsize

number of states in this coset

Definition at line 83 of file cfl_bisimulation.cpp.

◆ pFirstChild

Pnode* faudes::Pnode::pFirstChild

Definition at line 87 of file cfl_bisimulation.cpp.

◆ pParent

Pnode* faudes::Pnode::pParent

ref or relatives

Definition at line 86 of file cfl_bisimulation.cpp.

◆ pSecondChild

Pnode* faudes::Pnode::pSecondChild

Definition at line 88 of file cfl_bisimulation.cpp.

◆ rostable

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.

◆ states [1/2]

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

Associated set of states

Definition at line 54 of file syn_synthequiv.cpp.

◆ states [2/2]

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