text: var searchData=
  [
    ['parent',['Parent',['../HerbrandEquivalence_8cpp.html#af75ee413d635cf3de242ae602d900589',1,'HerbrandEquivalence.cpp']]],
    ['partitions',['Partitions',['../HerbrandEquivalence_8cpp.html#aff32697bb84a205aad3cceca9877ccb4',1,'HerbrandEquivalence.cpp']]],
    ['predecessors',['predecessors',['../structProgram_1_1InstructionTy.html#a6be3fe2b8d80d18142699cedf45cceb0',1,'Program::InstructionTy::predecessors()'],['../structProgram_1_1CfgNodeTy.html#a9b4c7878e0ffa2af06818cc3909f51b7',1,'Program::CfgNodeTy::predecessors()']]],
    ['program',['program',['../structCustomOStream.html#a5ebd4e8b2812ebdedc7a5d581918a43f',1,'CustomOStream::program()'],['../HerbrandEquivalence_8cpp.html#a4d68e7b5d27fdd7e85a328b3261c013f',1,'program():&#160;HerbrandEquivalence.cpp']]]
  ];
  