cfl_conflequiv.h File Reference

Abstractions that maintaine conflict-equivalence. More...

#include "cfl_definitions.h"
#include "cfl_generator.h"

Go to the source code of this file.

Namespaces

namespace  faudes
 libFAUDES resides within the namespace faudes.

Functions

bool faudes::IsNonblocking (const GeneratorVector &rGenVec)
 Test for conflicts.
void faudes::ConflictEquivalentAbstraction (vGenerator &rGen, const EventSet &rSilentEvents)
 Conflict equivalent abstraction.

Detailed Description

Abstractions that maintaine conflict-equivalence.

Definition in file cfl_conflequiv.h.

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