fn mark_complete(&mut self) -> Vec<CanonicalPendingExClause> {
        let negatives = self.take_negatives();
        self.positives = vec![];
        self.depth = None;
        negatives
    }
/// Marks this table as completely evaluated. In the process,
/// returns the list of pending negative clauses, since those can
/// possibly now be updated (either to mark them as SUCCESSFUL or
/// FAILED).
Marks this table as completely evaluated. In the process,
returns the list of pending negative clauses, since those can
possibly now be updated (either to mark them as SUCCESSFUL or
FAILED).
Marks this table as completely evaluated . In the process returns the list of pending negative clauses since those can possibly now be updated ( either to mark them as SUCCESSFUL or FAILED ) .
fn mark_complete(&mut self) -> Vec<CanonicalPendingExClause> {
        let negatives = self.take_negatives();
        self.positives = vec![];
        self.depth = None;
        negatives
    }
fn mark_complete ( & mut self ) -> Vec < CanonicalPendingExClause > { let negatives = self . take_negatives ( ) ; self . positives = vec ! [ ] ; self . depth = None ; negatives }
Marks this table as completely evaluated.
Marks this table as completely evaluated .
&mut self