|
|
||||||
|
faudes::Candidate Class Reference Detailed DescriptionDefinition at line 130 of file pev_abstraction.h.
Constructor & Destructor Documentation◆ Candidate() [1/3]
Definition at line 132 of file pev_abstraction.h. ◆ Candidate() [2/3]
Definition at line 143 of file pev_verify.cpp. ◆ Candidate() [3/3]
Definition at line 152 of file pev_verify.cpp. ◆ ~Candidate()
Definition at line 103 of file pev_verify.cpp. Member Function Documentation◆ ActiveEventsANDEnabledContinuationRule()
Definition at line 393 of file pev_abstraction.cpp. ◆ ActiveNonTauEvs()
Definition at line 359 of file pev_abstraction.cpp. ◆ BlockingEvent()Definition at line 598 of file pev_abstraction.cpp. ◆ BlockingSilentEvent()Definition at line 545 of file pev_abstraction.cpp. ◆ ClearComposition()
Definition at line 146 of file pev_abstraction.h. ◆ ComposeMap()
Definition at line 142 of file pev_abstraction.h. ◆ ConflictEquivalentAbstraction()
Reimplemented in faudes::PCandidate. Definition at line 759 of file pev_abstraction.cpp. ◆ DecomposedPair()Definition at line 143 of file pev_abstraction.h. ◆ DoAssign()
Definition at line 116 of file pev_verify.cpp. ◆ ExtendedTransRel()
Definition at line 136 of file pev_abstraction.cpp. ◆ FindConcreteStates()Definition at line 164 of file pev_verify.cpp. ◆ GenHidden()
Definition at line 137 of file pev_abstraction.h. ◆ GenMerged()
Definition at line 138 of file pev_abstraction.h. ◆ GenRaw()
Definition at line 136 of file pev_abstraction.h. ◆ HidePrivateEvs()
re-imp conflict-eq abstraction below Reimplemented in faudes::PCandidate. Definition at line 730 of file pev_abstraction.cpp. ◆ IncomingTransSet()
Definition at line 320 of file pev_abstraction.cpp. ◆ IsInMergedClass()Definition at line 175 of file pev_verify.cpp. ◆ MergeEquivalenceClasses()
Definition at line 44 of file pev_abstraction.cpp. ◆ MergeMap()Definition at line 139 of file pev_abstraction.h. ◆ MergeNonCoaccessible()
Definition at line 576 of file pev_abstraction.cpp. ◆ MergeSilentLoops()Reimplemented in faudes::PCandidate. Definition at line 500 of file pev_abstraction.cpp. ◆ ObservationEquivalentQuotient()Definition at line 185 of file pev_abstraction.cpp. ◆ OnlySilentIncoming()Definition at line 636 of file pev_abstraction.cpp. ◆ OnlySilentOutgoing()Definition at line 695 of file pev_abstraction.cpp. ◆ RemoveNonCoaccessibleOut()
Definition at line 531 of file pev_abstraction.cpp. ◆ RemoveTauSelfloops()Definition at line 487 of file pev_abstraction.cpp. ◆ ReverseObservationEquivalentQuotient()
Definition at line 223 of file pev_abstraction.cpp. ◆ SetSilentevs()
Definition at line 145 of file pev_abstraction.h. ◆ SetTau()
Definition at line 148 of file pev_abstraction.h. ◆ Silentevs()
Definition at line 144 of file pev_abstraction.h. ◆ Tau()
Definition at line 147 of file pev_abstraction.h. ◆ WeakObservationEquivalentQuotient()
Definition at line 286 of file pev_abstraction.cpp. Member Data Documentation◆ mComposeMap
Definition at line 237 of file pev_abstraction.h. ◆ mDecomposedPairDefinition at line 238 of file pev_abstraction.h. ◆ mGenHidden
Definition at line 227 of file pev_abstraction.h. ◆ mGenMerged
Definition at line 228 of file pev_abstraction.h. ◆ mGenRaw
Definition at line 226 of file pev_abstraction.h. ◆ mMergeMapDefinition at line 229 of file pev_abstraction.h. ◆ mSilentevs
Definition at line 230 of file pev_abstraction.h. ◆ mtau
Definition at line 232 of file pev_abstraction.h. The documentation for this class was generated from the following files: libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen |