var searchData=
[
  ['inc_5frat_5fcounts_61',['inc_rat_counts',['../classSynch__Data.html#a47bc744917d7f2c1d6cbb5b8d799d555',1,'Synch_Data']]],
  ['init_5fafter_5ffwd_62',['init_after_fwd',['../classGlobal__Data.html#a364141f1124548842f863980498fe665',1,'Global_Data']]],
  ['init_5fafter_5fparsing_63',['init_after_parsing',['../classVerifier.html#a53144287275437928552de91c278855f',1,'Verifier']]],
  ['invalid_64',['INVALID',['../gratgen_8cpp.html#a8c2e74cbe5228c02be4d77db10cce705aef2863a469df3ea6871d640e3669a2f2',1,'gratgen.cpp']]],
  ['is_5fafter_5fparsing_65',['is_after_parsing',['../classGlobal__Data.html#a19a25ccffd6751a974dc98263b600d21',1,'Global_Data']]],
  ['is_5fdeletion_66',['is_deletion',['../classitem__t.html#a4b3d218ccec473d4102ab38c1250f821',1,'item_t']]],
  ['is_5ferased_67',['is_erased',['../classitem__t.html#ab290e766fda8dd29d533be1d90e03d26',1,'item_t']]],
  ['is_5ffalse_68',['is_false',['../classVerifier.html#ae00e3ec9b7ef87852b07895ff25e04ed',1,'Verifier']]],
  ['is_5fformula_5fclause_69',['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_70',['is_marked',['../classSynch__Data.html#a51a6e3c15d0d9997559035a9804dcda1',1,'Synch_Data']]],
  ['is_5ftrue_71',['is_true',['../classVerifier.html#a460f0231b1a2d1f7fe2adacad567aa00',1,'Verifier']]],
  ['item_5ft_72',['item_t',['../classitem__t.html',1,'item_t'],['../classitem__t.html#a89f11d6e3bc2a4979b157885988a8bb2',1,'item_t::item_t()']]],
  ['item_5ftype_73',['item_type',['../gratgen_8cpp.html#a8c2e74cbe5228c02be4d77db10cce705',1,'gratgen.cpp']]],
  ['internal_20storage_20of_20clauses_74',['Internal storage of clauses',['../pg_clause_format.html',1,'']]]
];
