|
|
||||||
|
con_decomposability.h
Go to the documentation of this file.
48 extern FAUDES_API bool IsConditionalDecomposable(const Generator& gen, const EventSetVector& ee, const EventSet& ek, Generator& proof);
49 extern FAUDES_API bool IsCD(const Generator& gen, const EventSetVector& ee, const EventSet& ek, const EventSet& unionset, Generator& proof);
bool IsConditionalDecomposable(const Generator &gen, const EventSetVector &ee, const EventSet &ek, Generator &proof) Definition: con_decomposability.cpp:16 Definition: cfl_agenerator.h:43 bool IsCD(const Generator &gen, const EventSetVector &ee, const EventSet &ek, const EventSet &unionset, Generator &proof) Definition: con_decomposability.cpp:93 libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen |