#include "cfl_conflequiv.h"
#include "cfl_bisimcta.h"
#include "cfl_regular.h"
#include "cfl_graphfncts.h"

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.

Macros
#define	FD_CV0(message)
	Two debug levels for functions in this source file. More...

#define	FD_CV1(message)

Typedefs
typedef std::set< std::pair< Idx, Idx > >	faudes::SetX1Ev

Functions
void	faudes::AppendOmegaTermination (Generator &rGen)

void	faudes::MergeEquivalenceClasses (Generator &rGen, TransSetX2EvX1 &rRevTrans, const std::list< StateSet > &rClasses)

void	faudes::ObservationEquivalentQuotient (Generator &g, const EventSet &silent)

void	faudes::IncomingTransSet (const Generator &rGen, const TransSetX2EvX1 &rRTrans, const EventSet &silent, const Idx &state, SetX1Ev &result)

void	faudes::ActiveNonTauEvs (const Generator &rGen, const EventSet &silent, const Idx &state, EventSet &result)

std::map< SetX1Ev, StateSet >	faudes::IncomingEquivalentClasses (const Generator &rGen, const EventSet &silent)

void	faudes::ActiveEventsRule (Generator &g, const EventSet &silent)

void	faudes::EnabledContinuationRule (Generator &g, const EventSet &silent)

void	faudes::RemoveTauSelfloops (Generator &g, const EventSet &silent)

void	faudes::MergeSilentLoops (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::OnlySilentIncoming (Generator &g, const EventSet &silent)

void	faudes::OnlySilentOutgoing (Generator &g, const EventSet &silent)

EventSet	faudes::HidePriviateEvs (Generator &rGen, EventSet &silent)

void	faudes::RemoveTauLoops (Generator &rGen, const EventSet &silent)
	Remove all silent loops in a given automaton. More...

void	faudes::ConflictEquivalentAbstractionOnce (Generator &rGen, EventSet &silent)

void	faudes::ConflictEquivalentAbstractionLoop (vGenerator &rGen, EventSet &rSilentEvents)

void	faudes::ConflictEquivalentAbstraction (vGenerator &rGen, EventSet &rSilentEvents)
	Conflict equivalent abstraction. More...

bool	faudes::IsNonconflicting (const GeneratorVector &rGenVec)
	Test for conflicts. More...

bool	faudes::IsNonblocking (const GeneratorVector &rGvec)

Macro Definition Documentation

◆ FD_CV0

#define FD_CV0 ( message )

Two debug levels for functions in this source file.

Definition at line 33 of file cfl_conflequiv.cpp.

◆ FD_CV1

#define FD_CV1 ( message )

Definition at line 38 of file cfl_conflequiv.cpp.

Namespaces

Macros

Typedefs

Functions

Macro Definition Documentation

◆ FD_CV0

◆ FD_CV1