var searchData=
[
  ['dbg_5fstat_30',['DBG_STAT',['../gratgen_8cpp.html#a0f2547dc1d1e65982ec8b0055fcf6bfe',1,'gratgen.cpp']]],
  ['del_5ffrom_5flist_31',['del_from_list',['../gratgen_8cpp.html#a7613f3a9ab399734968c3b6903cfdbcc',1,'gratgen.cpp']]],
  ['deletion_32',['DELETION',['../gratgen_8cpp.html#a8c2e74cbe5228c02be4d77db10cce705abde76e129e1e8d7ca615d80ac22a3086',1,'gratgen.cpp']]],
  ['do_5fverification_33',['do_verification',['../classVController.html#a6b65ba1a75951783cc38f91afeeebec0',1,'VController']]],
  ['dump_5fproof_34',['dump_proof',['../classVController.html#a0780142cf26f45e895bfc0d8d948faf0',1,'VController']]],
  ['dump_5fsplit_5fproof_35',['dump_split_proof',['../classVController.html#a1edc15628c777fe36dd9ea2ae090277e',1,'VController']]]
];
