fn make_quantifier(
        &mut self,
        quantifier_type: QuantifierType,
        input_box: BoxId,
        parent_box: BoxId,
    ) -> QuantifierId {
        let id = self.quantifier_id_gen.allocate_id();
        let q = Box::new(RefCell::new(Quantifier {
            id,
            quantifier_type,
            input_box,
            parent_box,
            alias: None,
        }));
        self.quantifiers.insert(id, q);
        self.get_mut_box(parent_box).quantifiers.insert(id);
        self.get_mut_box(input_box).ranging_quantifiers.insert(id);
        id
    }
/// Create a new quantifier and adds it to the parent box
Create a new quantifier and adds it to the parent box
Create a new quantifier and adds it to the parent box
fn make_quantifier(
        &mut self,
        quantifier_type: QuantifierType,
        input_box: BoxId,
        parent_box: BoxId,
    ) -> QuantifierId {
        let id = self.quantifier_id_gen.allocate_id();
        let q = Box::new(RefCell::new(Quantifier {
            id,
            quantifier_type,
            input_box,
            parent_box,
            alias: None,
        }));
        self.quantifiers.insert(id, q);
        self.get_mut_box(parent_box).quantifiers.insert(id);
        self.get_mut_box(input_box).ranging_quantifiers.insert(id);
        id
    }
fn make_quantifier ( & mut self , quantifier_type : QuantifierType , input_box : BoxId , parent_box : BoxId , ) -> QuantifierId { let id = self . quantifier_id_gen . allocate_id ( ) ; let q = Box :: new ( RefCell :: new ( Quantifier { id , quantifier_type , input_box , parent_box , alias : None , } ) ) ; self . quantifiers . insert ( id , q ) ; self . get_mut_box ( parent_box ) . quantifiers . insert ( id ) ; self . get_mut_box ( input_box ) . ranging_quantifiers . insert ( id ) ; id }
Create a new quantifier and adds it to the parent box
Create a new quantifier and adds it to the parent box
&mut self
quantifier_type
QuantifierType
input_box
BoxId
parent_box
BoxId
&mut self
quantifier_type
QuantifierType
input_box
BoxId
parent_box
BoxId