Functions |
| void | faudes::MergeEquivalenceClasses (Generator &rGen, TransSetX2EvX1 &rRevTrans, const std::list< StateSet > &rClasses) |
| void | faudes::ExtendedTransRel (const Generator &rGen, const EventSet &rSilentAlphabet, TransSet &rXTrans) |
| void | faudes::ObservationEquivalentQuotient (Generator &g, const EventSet &silent) |
| bool | faudes::IsIncomingEquivalent (const TransSetX2EvX1 &rRevXTrans, const EventSet &rSilent, const StateSet &rInitialStates, Idx q1, Idx q2) |
| void | faudes::IncomingEquivalentCandidates (const TransSet &rXTrans, const TransSetX2EvX1 &rRevXTrans, const EventSet &rSilent, const StateSet &rInitialStates, Idx q1, StateSet &rRes) |
| void | faudes::ActiveEventsRule (Generator &g, const EventSet &silent) |
| void | faudes::SilentContinuationRule (Generator &g, const EventSet &silent) |
| void | faudes::MergeSilentSccs (Generator &g, const EventSet &silent) |
| void | faudes::RemoveNonCoaccessibleOut (Generator &g) |
| void | faudes::BlockingSilentEvent (Generator &g, const EventSet &silent) |
| void | faudes::MergeNonCoaccessible (Generator &g) |
| void | faudes::BlockingEvent (Generator &g, const EventSet &silent) |
| void | faudes::OnlySilentIncoming (Generator &g, const EventSet &silent) |
| void | faudes::OnlySilentOutgoing (Generator &g, const EventSet &silent) |
| void | faudes::ConflictEquivalentAbstraction (vGenerator &rGen, const EventSet &rSilentEvents) |
| | Conflict equivalent abstraction.
|
| bool | faudes::IsNonblocking (const GeneratorVector &rGenVec) |
| | Test for conflicts.
|
Abstractions that maintaine conflict-equivalence.
Definition in file cfl_conflequiv.cpp.