|
This is the complete list of members for faudes::Bisimulation, including all inherited members.
Bisimulation(const Generator &g) | faudes::Bisimulation | |
computeInfoMap(Pnode &B, Pnode &Bstates, Idx ev, vector< Idx > &tb) | faudes::Bisimulation | private |
computeInfoMaps(Pnode &node, Pnode *pSmallerPart, Pnode *pLargerPart, Idx ev) | faudes::Bisimulation | private |
events | faudes::Bisimulation | private |
gen | faudes::Bisimulation | private |
invImage(Pnode &B, Pnode &Bstates, Idx ev, vector< Idx > &tb) | faudes::Bisimulation | private |
newnode() | faudes::Bisimulation | private |
nxidx | faudes::Bisimulation | private |
partition(std::map< Idx, Idx > &rMapStateToPartition, Generator &rGenPart) | faudes::Bisimulation | |
partition(std::map< Idx, Idx > &rMapStateToPartition) | faudes::Bisimulation | |
partition(std::list< StateSet > &rPartition) | faudes::Bisimulation | |
partitionClass(Pnode &B) | faudes::Bisimulation | private |
partitionSplitter(Pnode &B) | faudes::Bisimulation | private |
refine(void) | faudes::Bisimulation | |
ro | faudes::Bisimulation | private |
roDividers | faudes::Bisimulation | private |
setInfoMap(Pnode &BSmaller, Pnode &BLarger, Idx ev) | faudes::Bisimulation | private |
stateLeadsToPartition(Idx state, Pnode &node, Idx ev) | faudes::Bisimulation | private |
states | faudes::Bisimulation | private |
W | faudes::Bisimulation | private |
writeNode(Pnode &node) | faudes::Bisimulation | private |
writeRo(void) | faudes::Bisimulation | |
writeW(void) | faudes::Bisimulation | |
~Bisimulation(void) | faudes::Bisimulation | |
libFAUDES 2.32b
--- 2024.03.01
--- c++ api documentaion by doxygen
|