var searchData=
[
  ['set_5fresize_119',['set_resize',['../gratgen_8cpp.html#a6df775ef195063e1b7c68b54482ac63d',1,'gratgen.cpp']]],
  ['set_5ftrpos_120',['set_trpos',['../classitem__t.html#a865afbc8c6d5ee2e30c238294a13d89a',1,'item_t']]],
  ['shrink_5fto_121',['shrink_to',['../classClauseDB.html#a7de50f4b8dd784a1c188e5b5260bb839',1,'ClauseDB::shrink_to(pos_t pos)'],['../classClauseDB.html#a08c064b446cc7c28ba46555ef2aaf577',1,'ClauseDB::shrink_to(vector&lt; cdb_t &gt;::iterator end)']]],
  ['spinlock_122',['spinlock',['../classspinlock.html',1,'spinlock'],['../classspinlock.html#a2398277bfffe2e811ccc5af30e8d557b',1,'spinlock::spinlock()']]],
  ['start_5fty_123',['start_ty',['../classProof__Writer.html#ac5cd7016d29e3d843a0ecd8630b85394',1,'Proof_Writer']]],
  ['stat_5fbwd_5fchecking_5ftime_124',['stat_bwd_checking_time',['../gratgen_8cpp.html#a1f6dc051f512cbe1239cf3b180825f15',1,'gratgen.cpp']]],
  ['stat_5fchecking_5ftime_125',['stat_checking_time',['../gratgen_8cpp.html#acdca1941bed817cbc9ddde19faba4124',1,'gratgen.cpp']]],
  ['stat_5fdb_5fsize_126',['stat_db_size',['../gratgen_8cpp.html#afc0d617dcec2c33a046c8f72fdf56f87',1,'gratgen.cpp']]],
  ['stat_5fitemlist_5fsize_127',['stat_itemlist_size',['../gratgen_8cpp.html#af053d8518144182bf0ef4926640668d4',1,'gratgen.cpp']]],
  ['stat_5fnum_5fclauses_128',['stat_num_clauses',['../gratgen_8cpp.html#a6975e2de397df101434972aad7c3c246',1,'gratgen.cpp']]],
  ['stat_5foverall_5ftime_129',['stat_overall_time',['../gratgen_8cpp.html#ae7d6214f1a5e9861eaff6fe696c3096b',1,'gratgen.cpp']]],
  ['stat_5foverall_5fvrf_5ftime_130',['stat_overall_vrf_time',['../gratgen_8cpp.html#ace1731796b6e993db226f4af903f949e',1,'gratgen.cpp']]],
  ['stat_5fparsing_5ftime_131',['stat_parsing_time',['../gratgen_8cpp.html#a734c1b80a5fe5bd42a16f38564c66a2c',1,'gratgen.cpp']]],
  ['stat_5fpivots_5fsize_132',['stat_pivots_size',['../gratgen_8cpp.html#a738431be8d845368cc4c3eca99dda070',1,'gratgen.cpp']]],
  ['stat_5frat_5flemmas_133',['stat_rat_lemmas',['../gratgen_8cpp.html#a4c898e9651358b234b540eefc6d0905c',1,'gratgen.cpp']]],
  ['stat_5frat_5frun_5fh_134',['stat_rat_run_h',['../gratgen_8cpp.html#a29ae70eef3cc34b47d77aa5b58186da2',1,'gratgen.cpp']]],
  ['stat_5frup_5flemmas_135',['stat_rup_lemmas',['../gratgen_8cpp.html#af20faeaf04a30b020e12ebeb4c1090cc',1,'gratgen.cpp']]],
  ['stat_5fwriting_5ftime_136',['stat_writing_time',['../gratgen_8cpp.html#a7f9ef15a946d8432d3f538826917b719',1,'gratgen.cpp']]],
  ['sync_5fincoming_5fmarked_137',['sync_incoming_marked',['../classVerifier.html#a044dbbc8f6417376fda72cc1d4b239da',1,'Verifier']]],
  ['sync_5fmarked_138',['sync_marked',['../classVerifier.html#aa85672e8c60fb1cac3636d1a878e53e3',1,'Verifier']]],
  ['synch_5fdata_139',['Synch_Data',['../classSynch__Data.html',1,'Synch_Data'],['../classSynch__Data.html#a9baafb3b3f399cdb3dc914bd717b6e9b',1,'Synch_Data::Synch_Data()']]]
];
