var searchData=
[
  ['inc_5frat_5fcounts_219',['inc_rat_counts',['../classSynch__Data.html#a47bc744917d7f2c1d6cbb5b8d799d555',1,'Synch_Data']]],
  ['init_5fafter_5ffwd_220',['init_after_fwd',['../classGlobal__Data.html#a364141f1124548842f863980498fe665',1,'Global_Data']]],
  ['init_5fafter_5fparsing_221',['init_after_parsing',['../classVerifier.html#a53144287275437928552de91c278855f',1,'Verifier']]],
  ['is_5fafter_5fparsing_222',['is_after_parsing',['../classGlobal__Data.html#a19a25ccffd6751a974dc98263b600d21',1,'Global_Data']]],
  ['is_5fdeletion_223',['is_deletion',['../classitem__t.html#a4b3d218ccec473d4102ab38c1250f821',1,'item_t']]],
  ['is_5ferased_224',['is_erased',['../classitem__t.html#ab290e766fda8dd29d533be1d90e03d26',1,'item_t']]],
  ['is_5ffalse_225',['is_false',['../classVerifier.html#ae00e3ec9b7ef87852b07895ff25e04ed',1,'Verifier']]],
  ['is_5fformula_5fclause_226',['is_formula_clause',['../classGlobal__Data.html#a10a3a27b0878986336a22570731a5ef5',1,'Global_Data::is_formula_clause(lit_t *cl) const'],['../classGlobal__Data.html#a3457e5f235f9734a0de97436382e1605',1,'Global_Data::is_formula_clause(size_t id) const']]],
  ['is_5fmarked_227',['is_marked',['../classSynch__Data.html#a51a6e3c15d0d9997559035a9804dcda1',1,'Synch_Data']]],
  ['is_5ftrue_228',['is_true',['../classVerifier.html#a460f0231b1a2d1f7fe2adacad567aa00',1,'Verifier']]],
  ['item_5ft_229',['item_t',['../classitem__t.html#a89f11d6e3bc2a4979b157885988a8bb2',1,'item_t']]]
];
