pub fn push_subs(&mut self, subs: Subelements) {
        let rank = self.0.rank();
        let el_count = self.0.el_count(rank);

        // Updates superelements of the lower rank.
        for &sub in &subs {
            self.0[(rank - 1, sub)].sups.push(el_count);
        }

        self.0[rank].push(subs.into());
    }
/// Pushes an element with a given list of subelements into the elements of
/// a given rank. Updates the superelements of its subelements
/// automatically.
Pushes an element with a given list of subelements into the elements of
a given rank. Updates the superelements of its subelements
automatically.
Pushes an element with a given list of subelements into the elements of a given rank . Updates the superelements of its subelements automatically .
pub fn push_subs(&mut self, subs: Subelements) {
        let rank = self.0.rank();
        let el_count = self.0.el_count(rank);
        // Updates superelements of the lower rank.
        for &sub in &subs {
            self.0[(rank - 1, sub)].sups.push(el_count);
        }
        self.0[rank].push(subs.into());
    }
pub fn push_subs ( & mut self , subs : Subelements ) { let rank = self . 0 . rank ( ) ; let el_count = self . 0 . el_count ( rank ) ; // Updates superelements of the lower rank. for & sub in & subs { self . 0 [ ( rank - 1 , sub ) ] . sups . push ( el_count ) ; } self . 0 [ rank ] . push ( subs . into ( ) ) ; }
Pushes an element with a given list of subelements into the elements of
a given rank.
Pushes an element with a given list of subelements into the elements of a given rank .
&mut self
subs
Subelements
&mut self
subs
Subelements