fn retain_delay_set(&self, set: &mut DelayedLiteralSet) -> bool {
        let mut found_false = false;
        set.delayed_literals.retain(|literal| {
            match self.eval_delayed_literal(literal) {
                // Drop literals that are known to be true.
                TruthValue::True => false,

                // Drop literals that are known to be false, and
                // remember that we saw one. (Ideally we'd
                // shortcircuit here but we can't easily do so inside
                // of `retain()`.)
                TruthValue::False => {
                    found_false = true;
                    false
                }

                // Keep delayed literals whose truth value is not yet known.
                TruthValue::Unknown => true,
            }
        });

        // Keep this answer unless we found a truth value that was
        // known to be false.
        !found_false
    }
/// Iterates through `set` and removes any delayed literals that
/// are now known to be satisfied. If a literal is found that is
/// known to be **unsatisfied**, returns false.
Iterates through `set` and removes any delayed literals that
are now known to be satisfied. If a literal is found that is
known to be **unsatisfied**, returns false.
Iterates through ` set ` and removes any delayed literals that are now known to be satisfied . If a literal is found that is known to be ** unsatisfied ** returns false .
fn retain_delay_set(&self, set: &mut DelayedLiteralSet) -> bool {
        let mut found_false = false;
        set.delayed_literals.retain(|literal| {
            match self.eval_delayed_literal(literal) {
                // Drop literals that are known to be true.
                TruthValue::True => false,
                // Drop literals that are known to be false, and
                // remember that we saw one. (Ideally we'd
                // shortcircuit here but we can't easily do so inside
                // of `retain()`.)
                TruthValue::False => {
                    found_false = true;
                    false
                }
                // Keep delayed literals whose truth value is not yet known.
                TruthValue::Unknown => true,
            }
        });
        // Keep this answer unless we found a truth value that was
        // known to be false.
        !found_false
    }
fn retain_delay_set ( & self , set : & mut DelayedLiteralSet ) -> bool { let mut found_false = false ; set . delayed_literals . retain ( | literal | { match self . eval_delayed_literal ( literal ) { // Drop literals that are known to be true. TruthValue :: True => false , // Drop literals that are known to be false, and // remember that we saw one. (Ideally we'd // shortcircuit here but we can't easily do so inside // of `retain()`.) TruthValue :: False => { found_false = true ; false } // Keep delayed literals whose truth value is not yet known. TruthValue :: Unknown => true , } } ) ; // Keep this answer unless we found a truth value that was // known to be false. ! found_false }
Iterates through `set` and removes any delayed literals that
are now known to be satisfied.
Iterates through ` set ` and removes any delayed literals that are now known to be satisfied .
&self
set
&mut DelayedLiteralSet