var searchData=
[
  ['acquire_179',['acquire',['../classspinlock.html#a2a6d78068341ffdb7620e5e0a88a52a8',1,'spinlock::acquire(size_t max_retries)'],['../classspinlock.html#af5978d97d07ae5f9e8a4cdc91739cf57',1,'spinlock::acquire()'],['../classSynch__Data.html#ac92efe9a2939a7e306c07f416e79b05d',1,'Synch_Data::acquire()']]],
  ['add_5fclause_180',['add_clause',['../classVerifier.html#a6645719782bbe3501ec467d733b91169',1,'Verifier']]],
  ['append_181',['append',['../classClauseDB.html#aea90249cdc9961c59c5db2f4bdf2145b',1,'ClauseDB']]],
  ['assign_5ftrue_182',['assign_true',['../classVerifier.html#a142115e8b665f6591ae8657df0f18e27',1,'Verifier']]]
];
