cfl_conflequiv.h File Reference

#include "cfl_generator.h"
#include "cfl_basevector.h"

Go to the source code of this file.

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.

Functions
bool	faudes::IsNonconflicting (const GeneratorVector &rGenVec)
	Test for conflicts. More...
bool	faudes::IsNonblocking (const GeneratorVector &rGvec)
void	faudes::ConflictEquivalentAbstraction (vGenerator &rGen, EventSet &rSilentEvents)
	Conflict equivalent abstraction. More...
void	faudes::RemoveTauLoops (Generator &rGen, const EventSet &silent)
	Remove all silent loops in a given automaton. More...