fn wrap_within_select(&mut self, box_id: BoxId) -> BoxId {
        let select_id = self.model.make_select_box();
        self.model
            .make_quantifier(QuantifierType::Foreach, box_id, select_id);
        let mut select_box = self.model.get_mut_box(select_id);
        select_box.add_all_input_columns(&self.model);
        select_id
    }
/// Returns a Select box ranging over the given box, projecting
/// all of its columns.
Returns a Select box ranging over the given box, projecting
all of its columns.
Returns a Select box ranging over the given box projecting all of its columns .
fn wrap_within_select(&mut self, box_id: BoxId) -> BoxId {
        let select_id = self.model.make_select_box();
        self.model
            .make_quantifier(QuantifierType::Foreach, box_id, select_id);
        let mut select_box = self.model.get_mut_box(select_id);
        select_box.add_all_input_columns(&self.model);
        select_id
    }
fn wrap_within_select ( & mut self , box_id : BoxId ) -> BoxId { let select_id = self . model . make_select_box ( ) ; self . model . make_quantifier ( QuantifierType :: Foreach , box_id , select_id ) ; let mut select_box = self . model . get_mut_box ( select_id ) ; select_box . add_all_input_columns ( & self . model ) ; select_id }
Returns a Select box ranging over the given box, projecting
all of its columns.
Returns a Select box ranging over the given box projecting all of its columns .
&mut self
box_id
BoxId
&mut self
box_id
BoxId