var searchData=
[
  ['bin_5fparse_5fproof_5',['bin_parse_proof',['../classParser.html#a9934662111ac7654da88835c5c553514',1,'Parser']]],
  ['bulk_5fmark_5fclauses_6',['bulk_mark_clauses',['../classSynch__Data.html#a3a17aa28e527717c4177a4257720b1ea',1,'Synch_Data']]],
  ['bwd_5fpass_7',['bwd_pass',['../classVerifier.html#a9bb6babc7ea467c7a63a79825f539a2c',1,'Verifier']]]
];
