cfl_conflequiv.cpp File Reference

Abstractions that maintaine conflict-equivalence. More...

#include "cfl_conflequiv.h"
#include "cfl_bisimulation.h"
#include "cfl_graphfncts.h"
#include "cfl_parallel.h"
#include "cfl_regular.h"

Go to the source code of this file.

Namespaces

namespace  faudes
 libFAUDES resides within the namespace faudes.

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.

Detailed Description

Abstractions that maintaine conflict-equivalence.

Definition in file cfl_conflequiv.cpp.

libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen