faudes::Pnode Struct Reference
Detailed DescriptionDefinition at line 67 of file cfl_bisimulation.cpp. Member Function Documentation
write info-map to console
Definition at line 105 of file cfl_bisimulation.cpp. Member Data Documentation
flag to inicate non-empty infoMap per event (for use with alternative info-map constructs) Definition at line 97 of file cfl_bisimulation.cpp.
unique partition index Definition at line 70 of file cfl_bisimulation.cpp. 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.
number of states in this coset Definition at line 83 of file cfl_bisimulation.cpp.
Definition at line 87 of file cfl_bisimulation.cpp.
ref or relatives Definition at line 86 of file cfl_bisimulation.cpp.
Definition at line 88 of file cfl_bisimulation.cpp.
indicates whether the current partition ro is stable with respect to this block Definition at line 91 of file cfl_bisimulation.cpp.
Associated set of states. Definition at line 80 of file cfl_bisimulation.cpp. The documentation for this struct was generated from the following file: libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen |