var searchData=
[
  ['parser_169',['Parser',['../classParser.html',1,'']]],
  ['pos_5ft_170',['pos_t',['../structpos__t.html',1,'']]],
  ['proof_5fwriter_171',['Proof_Writer',['../classProof__Writer.html',1,'']]],
  ['push_5fclause_5fids_172',['push_clause_ids',['../structpush__clause__ids.html',1,'']]]
];
