crate fn new(
        elements: &Rc<RegionValueElements>,
        num_universal_regions: usize,
        max_universe: ty::UniverseIndex,
    ) -> Self {
        let num_placeholders = max_universe.as_usize();
        Self {
            elements: elements.clone(),
            points: SparseBitMatrix::new(elements.num_points),
            free_regions: SparseBitMatrix::new(num_universal_regions),
            placeholders: SparseBitMatrix::new(num_placeholders),
        }
    }
/// Creates a new set of "region values" that tracks causal information.
/// Each of the regions in num_region_variables will be initialized with an
/// empty set of points and no causal information.
Creates a new set of "region values" that tracks causal information.
Each of the regions in num_region_variables will be initialized with an
empty set of points and no causal information.
Creates a new set of " region values " that tracks causal information . Each of the regions in num_region_variables will be initialized with an empty set of points and no causal information .
crate fn new(
        elements: &Rc<RegionValueElements>,
        num_universal_regions: usize,
        max_universe: ty::UniverseIndex,
    ) -> Self {
        let num_placeholders = max_universe.as_usize();
        Self {
            elements: elements.clone(),
            points: SparseBitMatrix::new(elements.num_points),
            free_regions: SparseBitMatrix::new(num_universal_regions),
            placeholders: SparseBitMatrix::new(num_placeholders),
        }
    }
crate fn new ( elements : & Rc < RegionValueElements > , num_universal_regions : usize , max_universe : ty :: UniverseIndex , ) -> Self { let num_placeholders = max_universe . as_usize ( ) ; Self { elements : elements . clone ( ) , points : SparseBitMatrix :: new ( elements . num_points ) , free_regions : SparseBitMatrix :: new ( num_universal_regions ) , placeholders : SparseBitMatrix :: new ( num_placeholders ) , } }
Creates a new set of "region values" that tracks causal information.
Creates a new set of " region values " that tracks causal information .
elements
&Rc<RegionValueElements>
num_universal_regions
usize
max_universe
ty::UniverseIndex