faudes::Partition Struct Reference

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

#include <op_partition.h>

List of all members.

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
std::map< Idx, std::map< Idx,
Idx > > 
infoMap
 Info-map.
Idx numberOfStates
 number of states in this coset

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 44 of file op_partition.h.


Constructor & Destructor Documentation

faudes::Partition::Partition (  ) 

Constructor.

Definition at line 35 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 42 of file op_partition.cpp.


Member Data Documentation

Unique index.

Definition at line 50 of file op_partition.h.

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

Info-map.

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

Definition at line 71 of file op_partition.h.

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

Definition at line 68 of file op_partition.h.

number of states in this coset

Definition at line 82 of file op_partition.h.

Index of the brother coset.

Definition at line 59 of file op_partition.h.

Index of the parent coset.

Definition at line 56 of file op_partition.h.

Index of first child coset.

Definition at line 62 of file op_partition.h.

Index of second child coset.

Definition at line 65 of file op_partition.h.

Pointer to the associated StateSet.

Definition at line 53 of file op_partition.h.


The documentation for this struct was generated from the following files:

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen