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);
libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen |