cfl_conflequiv.h File Reference

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

Go to the source code of this file.

Namespaces
namespace	faudes

Functions
bool	faudes::IsNonconflicting (const GeneratorVector &rGvec)
bool	faudes::IsNonblocking (const GeneratorVector &rGvec)
void	faudes::ConflictEquivalentAbstraction (vGenerator &rGen, EventSet &rSilentEvents)
void	faudes::RemoveTauLoops (Generator &rGen, const EventSet &silent)
void	faudes::RemoveNonCoaccessibleOut (Generator &g)