Here is a list of all functions with links to the files they belong to:

- d -

• ddnnf_stats() : ddnnf_stats.cpp
• decorr_value_sublink_walker() : provsql.c
• decorrelate_scalar_sublinks() : provsql.c
• destroy_provsql_mmap() : MMappedCircuit.cpp, provsql_mmap.h
• detect_inversion_free() : safe_query.c