cfl_conflequiv.cpp File Reference

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

Go to the source code of this file.

Namespaces
namespace	faudes

Macros
#define	FD_CV0(message)
#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)
void	faudes::ConflictEquivalentAbstractionOnce (Generator &rGen, EventSet &silent)
void	faudes::ConflictEquivalentAbstractionLoop (vGenerator &rGen, EventSet &rSilentEvents)
void	faudes::ConflictEquivalentAbstraction (vGenerator &rGen, EventSet &rSilentEvents)
bool	faudes::IsNonconflicting (const GeneratorVector &rGvec)
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.