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.