var searchData=
[
  ['handle_0',['Handle',['../class_microsoft_1_1_z3_1_1_optimize_1_1_handle.html',1,'Microsoft::Z3::Optimize']]],
  ['handle_1',['handle',['../classz3_1_1optimize_1_1handle.html',1,'z3::optimize']]]
];
