Bisimulation(Generator &g) | faudes::Bisimulation | |
computeInfoMap(Partition &B, Partition &Bstates, EventSet::Iterator eIt, StateSet &tb) | faudes::Bisimulation | [private] |
computeInfoMaps(Partition &node, Partition *pSmallerPart, Partition *pLargerPart, EventSet::Iterator eIt) | faudes::Bisimulation | [private] |
gen | faudes::Bisimulation | [private] |
index | faudes::Bisimulation | [private] |
partition(map< Idx, Idx > &rMapStateToPartition, Generator &rGenPart, vector< Idx > &rNewPartitions) | faudes::Bisimulation | |
partition(map< Idx, Idx > &rMapStateToPartition, vector< Idx > &rNewPartitions) | faudes::Bisimulation | |
partitionClass(Partition &B) | faudes::Bisimulation | [private] |
partitionSplitter(Partition &B) | faudes::Bisimulation | [private] |
ro | faudes::Bisimulation | [private] |
roDividers | faudes::Bisimulation | [private] |
stateLeadsToPartition(Idx state, Partition &node, EventSet::Iterator eIt) | faudes::Bisimulation | [private] |
tset_evx2x1 | faudes::Bisimulation | [private] |
W | faudes::Bisimulation | [private] |
writeNode(Partition &node) | faudes::Bisimulation | [private] |
writeRo(void) | faudes::Bisimulation | |
writeW(void) | faudes::Bisimulation | |