con_decomposability_extension.h
Go to the documentation of this file.
46 extern FAUDES_API void ConDecExtension(const Generator& gen, const EventSetVector& rAlphabets, EventSet& ek);
48 extern FAUDES_API void CDExt(const Generator& gen, const EventSetVector& ee, const EventSet& unionset, EventSet& ek);
50 extern FAUDES_API Generator ComputeTildeG(const EventSet& unionset, const EventSetVector& ee, const EventSet& ek, const Generator& gen);
52 extern FAUDES_API bool isExtendedEk(const Generator& tildeGen, const Generator& rGen, EventSet& ek);
libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen |