Here is a list of all file members 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
• DEFAULT_PATH : external_tool.cpp
• destroy_provsql_mmap() : MMappedCircuit.cpp, provsql_mmap.h
• detect_inversion_free() : safe_query.c
• DETERMINED : safe_query.c
• DNNF_CERT_INFO : BooleanCircuit.h
• DotGate : DotCircuit.h
• drop_temp_table : provenance_evaluate_compiled.cpp, provenance_evaluate_compiled.hpp, to_prov.cpp