Searched defs:lit_idx (Results 1 – 4 of 4) sorted by relevance
305 for (const LiteralIndex &lit_idx : bucketToLits.at(b)) { in setupFullConfs() local
139 for (const LiteralIndex &lit_idx : bucket_lits) { in createInitialState() local824 for (const LiteralIndex &lit_idx : bucketToLits[b]) { in addIncludedInfo() local
365 lbool get_lit_assignment(unsigned lit_idx) const { in get_lit_assignment()
364 lbool get_lit_assignment(unsigned lit_idx) const { in get_lit_assignment()