Creates a new index map with knowledge of the provided global indexes.
(global: &dyn IndexOracle)
| 544 | impl IndexMap<'_> { |
| 545 | /// Creates a new index map with knowledge of the provided global indexes. |
| 546 | pub fn new(global: &dyn IndexOracle) -> IndexMap<'_> { |
| 547 | IndexMap { |
| 548 | local: BTreeMap::new(), |
| 549 | global, |
| 550 | } |
| 551 | } |
| 552 | |
| 553 | /// Adds a local index on the specified collection with the specified key. |
| 554 | pub fn add_local(&mut self, id: LocalId, key: Vec<MirScalarExpr>) { |