fn push_new_table(
        &mut self,
        goal: &CanonicalGoal,
        positive_pending: Option<CanonicalPendingExClause>,
        negative_pending: Option<CanonicalPendingExClause>,
    ) -> (TableIndex, StackIndex) {
        let depth = self.stack.next_index();
        let dfn = self.dfn.next();
        let table = self.tables.insert(goal, depth);
        debug!(
            "push_new_table: depth {:?} is table {:?} with goal {:?}",
            depth,
            table,
            goal
        );
        self.tables[table].positives.extend(positive_pending);
        self.tables[table].negatives.extend(negative_pending);
        self.stack.push(table, dfn);
        (table, depth)
    }
/// Pushes a new goal onto the stack, creating a table entry in the process.
Pushes a new goal onto the stack, creating a table entry in the process.
Pushes a new goal onto the stack creating a table entry in the process .
fn push_new_table(
        &mut self,
        goal: &CanonicalGoal,
        positive_pending: Option<CanonicalPendingExClause>,
        negative_pending: Option<CanonicalPendingExClause>,
    ) -> (TableIndex, StackIndex) {
        let depth = self.stack.next_index();
        let dfn = self.dfn.next();
        let table = self.tables.insert(goal, depth);
        debug!(
            "push_new_table: depth {:?} is table {:?} with goal {:?}",
            depth,
            table,
            goal
        );
        self.tables[table].positives.extend(positive_pending);
        self.tables[table].negatives.extend(negative_pending);
        self.stack.push(table, dfn);
        (table, depth)
    }
fn push_new_table ( & mut self , goal : & CanonicalGoal , positive_pending : Option < CanonicalPendingExClause > , negative_pending : Option < CanonicalPendingExClause > , ) -> ( TableIndex , StackIndex ) { let depth = self . stack . next_index ( ) ; let dfn = self . dfn . next ( ) ; let table = self . tables . insert ( goal , depth ) ; debug ! ( " " depth table goal ) ; self . tables [ table ] . positives . extend ( positive_pending ) ; self . tables [ table ] . negatives . extend ( negative_pending ) ; self . stack . push ( table , dfn ) ; ( table , depth ) }
Pushes a new goal onto the stack, creating a table entry in the process.
Pushes a new goal onto the stack creating a table entry in the process .
&mut self
goal
&CanonicalGoal
positive_pending
Option<CanonicalPendingExClause>
negative_pending
Option<CanonicalPendingExClause>