fn try_find_if(&mut self) {
        let cctx = self.cctx;

        loop {
            let mut topo = Topo::new(&self.graph);
            loop {
                if let Some(n) = topo.next(&self.graph) {
                    let cond = self.graph[n].0;
                    let changed = self.try_group_by_cond(cond, cctx.mk_not(cond));
                    if changed {
                        // restart traversal
                        break;
                    }
                } else {
                    // no more groupings
                    return;
                }
            }
        }
    }
/// Repeatedly iterate through every node in topological order and try to
/// group by that condition
Repeatedly iterate through every node in topological order and try to
group by that condition
Repeatedly iterate through every node in topological order and try to group by that condition
fn try_find_if(&mut self) {
        let cctx = self.cctx;
        loop {
            let mut topo = Topo::new(&self.graph);
            loop {
                if let Some(n) = topo.next(&self.graph) {
                    let cond = self.graph[n].0;
                    let changed = self.try_group_by_cond(cond, cctx.mk_not(cond));
                    if changed {
                        // restart traversal
                        break;
                    }
                } else {
                    // no more groupings
                    return;
                }
            }
        }
    }
fn try_find_if ( & mut self ) { let cctx = self . cctx ; loop { let mut topo = Topo :: new ( & self . graph ) ; loop { if let Some ( n ) = topo . next ( & self . graph ) { let cond = self . graph [ n ] . 0 ; let changed = self . try_group_by_cond ( cond , cctx . mk_not ( cond ) ) ; if changed { // restart traversal break ; } } else { // no more groupings return ; } } } }
Repeatedly iterate through every node in topological order and try to
group by that condition
Repeatedly iterate through every node in topological order and try to group by that condition
&mut self
&mut self