|
syn_tsupcon.cpp File Reference#include "syn_tsupcon.h"
Go to the source code of this file.
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Functions |
void | faudes::SupTconUnchecked (const Generator &rPlantGen, const EventSet &rCAlph, const EventSet &rFAlph, const EventSet &rPAlph, const EventSet &rCPAlph, Generator &rSupCandGen) |
void | faudes::SupTconNBUnchecked (const Generator &rPlantGen, const EventSet &rCAlph, const EventSet &rFAlph, const EventSet &rPAlph, const Generator &rSpecGen, std::map< std::pair< Idx, Idx >, Idx > &rCompositionMap, Generator &rResGen) |
void | faudes::SupTconNB (const Generator &rPlantGen, const EventSet &rCAlph, const EventSet &rFAlph, const EventSet &rPAlph, const Generator &rSpecGen, Generator &rResGen) |
| Nonblocking Supremal TDES-Controllable Sublanguage.
|
void | faudes::SupTconNB (const System &rPlantGen, const Generator &rSpecGen, Generator &rResGen) |
| Nonblocking Supremal TDES-Controllable Sublanguage.
|
libFAUDES 2.23h
--- 2014.04.03
--- c++ api documentaion by doxygen
|