Searched refs:lit_ptr (Results 1 – 4 of 4) sorted by relevance
135 for (const auto &lit_ptr : lits) { in findDVerm() local136 const AccelString &lit = *lit_ptr; in findDVerm()165 for (const auto &lit_ptr : lits) { in findDVerm() local166 const AccelString &lit = *lit_ptr; in findDVerm()260 for (const auto &lit_ptr : lits) { in findSVerm() local261 const AccelString &lit = *lit_ptr; in findSVerm()289 for (const auto &lit_ptr : lits) { in findSVerm() local290 const AccelString &lit = *lit_ptr; in findSVerm()
356 ExprKind::Lit(ref lit_ptr) => { in fetch_bool_expr()357 if let LitKind::Bool(value) = lit_ptr.node { in fetch_bool_expr()
562 lit_ptr = env.xt_literals[lit_idx]563 if isinstance(lit_ptr, str):564 addr = env.got_section.addr + env.got_entries[lit_ptr].offset565 log_name = "GOT {}".format(lit_ptr)567 addr = env.lit_section.addr + env.lit_entries[lit_ptr].offset
275 CLitPoolElement * lit_ptr = & cl.literals()[max_idx]; in add_clause() local276 variable(v_idx).ht_ptr(v_sign).push_back(lit_ptr); in add_clause()