Lines Matching refs:complete
14 complete: bool,
58 let complete = lits.all_complete();
60 complete,
71 /// is comprised of a single complete literal `a`, but the regular
73 pub fn complete(&self) -> bool {
74 self.complete && !self.is_empty()
195 if sset.complete {
280 complete: bool,
289 complete: true,
297 sset.complete = sset.complete && lit.len() == 1;
314 sset.complete = sset.complete && lit.len() == 1;