|
|
This is the complete list of members for faudes::Candidate, including all inherited members.
| ActiveEventsANDEnabledContinuationRule(Generator &g, const EventSet &silent) | faudes::Candidate | |
| ActiveNonTauEvs(const Generator &rGen, const EventSet &silent, const Idx &state, EventSet &result) | faudes::Candidate | |
| BlockingEvent(Generator &g, const EventSet &silent) | faudes::Candidate | |
| BlockingSilentEvent(Generator &g, const EventSet &silent) | faudes::Candidate | |
| Candidate(void) | faudes::Candidate | inline |
| Candidate(Generator &goi) | faudes::Candidate | |
| Candidate(Generator &goi, ProductCompositionMap map, std::pair< Candidate *, Candidate * > pair) | faudes::Candidate | |
| ClearComposition() | faudes::Candidate | inline |
| ComposeMap() | faudes::Candidate | inline |
| ConflictEquivalentAbstraction(EventSet &silent) | faudes::Candidate | virtual |
| DecomposedPair() | faudes::Candidate | inline |
| DoAssign(Candidate cand) | faudes::Candidate | protected |
| ExtendedTransRel(const Generator &rGen, const EventSet &rSilentAlphabet, TransSet &rXTrans) | faudes::Candidate | |
| FindConcreteStates(Idx abstract) | faudes::Candidate | |
| GenHidden() | faudes::Candidate | inline |
| GenMerged() | faudes::Candidate | inline |
| GenRaw() | faudes::Candidate | inline |
| HidePrivateEvs(EventSet &silent) | faudes::Candidate | virtual |
| IncomingTransSet(const Generator &rGen, const EventSet &silent, const Idx &state, std::set< std::pair< Idx, Idx >> &result) | faudes::Candidate | |
| IsInMergedClass(Idx concrete, Idx abstract) | faudes::Candidate | |
| mComposeMap | faudes::Candidate | protected |
| mDecomposedPair | faudes::Candidate | protected |
| MergeEquivalenceClasses(Generator &rGen, TransSetX2EvX1 &rRevTrans, const std::list< StateSet > &rClasses, const EventSet &silent) | faudes::Candidate | |
| MergeMap() | faudes::Candidate | inline |
| MergeNonCoaccessible(Generator &g) | faudes::Candidate | |
| MergeSilentLoops(Generator &g, const EventSet &silent) | faudes::Candidate | virtual |
| mGenHidden | faudes::Candidate | protected |
| mGenMerged | faudes::Candidate | protected |
| mGenRaw | faudes::Candidate | protected |
| mMergeMap | faudes::Candidate | protected |
| mSilentevs | faudes::Candidate | protected |
| mtau | faudes::Candidate | protected |
| ObservationEquivalentQuotient(Generator &g, const EventSet &silent) | faudes::Candidate | |
| OnlySilentIncoming(Generator &g, const EventSet &silent) | faudes::Candidate | |
| OnlySilentOutgoing(Generator &g, const EventSet &silent) | faudes::Candidate | |
| RemoveNonCoaccessibleOut(Generator &g) | faudes::Candidate | |
| RemoveTauSelfloops(Generator &g, const EventSet &silent) | faudes::Candidate | |
| ReverseObservationEquivalentQuotient(Generator &g, const EventSet &silent) | faudes::Candidate | |
| SetSilentevs(EventSet silentevs) | faudes::Candidate | inline |
| SetTau(Idx tau) | faudes::Candidate | inline |
| Silentevs() | faudes::Candidate | inline |
| Tau() | faudes::Candidate | inline |
| WeakObservationEquivalentQuotient(Generator &g, const EventSet &silent) | faudes::Candidate | |
| ~Candidate() | faudes::Candidate | virtual |
libFAUDES 2.33l
--- 2025.09.16
--- c++ api documentaion by doxygen
|