faudes::Partition Struct Reference

#include <op_partition.h>

List of all members.


Detailed Description

This struct implements a coset (=equivalence class) as needed for the computation of the coarsest quasi-congruence on an automaton.

Definition at line 46 of file op_partition.h.

Public Member Functions

 Partition ()
 Constructor.
void writeInfoMap (Idx event) const
 Write info-map to console.

Public Attributes

Idx index
 Unique index.
StateSet states
 Pointer to the associated StateSet.
PartitionpFather
 Index of the parent coset.
PartitionpBrother
 Index of the brother coset.
PartitionpFirstChild
 Index of first child coset.
PartitionpSecondChild
 Index of second child coset.
bool nonSplitting
 indicates if the current partition is stable with respect to this coset
map< Idx, map< Idx, Idx > > infoMap
 Info-map.
Idx numberOfStates
 number of states in this coset


Constructor & Destructor Documentation

faudes::Partition::Partition  ) 
 

Constructor.

Definition at line 33 of file op_partition.cpp.


Member Function Documentation

void faudes::Partition::writeInfoMap Idx  event  )  const
 

Write info-map to console.

Parameters:
event event for which the info-map shall be plotted

Definition at line 40 of file op_partition.cpp.


Member Data Documentation

Idx faudes::Partition::index
 

Unique index.

Definition at line 52 of file op_partition.h.

map<Idx,map<Idx,Idx> > faudes::Partition::infoMap
 

Info-map.

First Idx: event, second Idx: state, third Idx: number of occurences

Definition at line 73 of file op_partition.h.

bool faudes::Partition::nonSplitting
 

indicates if the current partition is stable with respect to this coset

Definition at line 70 of file op_partition.h.

Idx faudes::Partition::numberOfStates
 

number of states in this coset

Definition at line 84 of file op_partition.h.

Partition* faudes::Partition::pBrother
 

Index of the brother coset.

Definition at line 61 of file op_partition.h.

Partition* faudes::Partition::pFather
 

Index of the parent coset.

Definition at line 58 of file op_partition.h.

Partition* faudes::Partition::pFirstChild
 

Index of first child coset.

Definition at line 64 of file op_partition.h.

Partition* faudes::Partition::pSecondChild
 

Index of second child coset.

Definition at line 67 of file op_partition.h.

StateSet faudes::Partition::states
 

Pointer to the associated StateSet.

Definition at line 55 of file op_partition.h.


The documentation for this struct was generated from the following files:
Generated on Fri May 9 11:26:48 2008 for libFAUDES 2.09b by  doxygen 1.4.4