Detailed Description

Definition at line 67 of file cfl_bisimulation.cpp.

Public Member Functions
void	writeInfoMap (Idx event) const
	write info-map to console More...

Public Attributes
Idx	index
	unique partition index More...

std::vector< Idx >	states
	Associated set of states. More...

Idx	nsize
	number of states in this coset More...

Pnode *	pParent
	ref or relatives More...

Pnode *	pFirstChild

Pnode *	pSecondChild

bool	rostable
	indicates whether the current partition ro is stable with respect to this block More...

std::vector< std::map< Idx, Idx > >	infoMap
	Info-map. More...

std::vector< bool >	activeEv
	flag to inicate non-empty infoMap per event (for use with alternative info-map constructs) More...

std::set< Idx >	states
	Associated set of states. More...

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