Searched defs:impliedLits_ (Results 1 – 3 of 3) sorted by relevance
876 …ImpliedList impliedLits_; // lits that were asserted on current dl but are logically implied… variable
878 …ImpliedList impliedLits_; // lits that were asserted on current dl but are logically implied… variable