Function build_ref_graph_array

crates/ffi/src/graph.rs:17–35

Build an Array (Ix.Name × Array Ix.Name) from a RefMap.

(
  cache: &mut LeanBuildCache,
  refs: &ix_compile::graph::RefMap,
)

/// Build an Array (Ix.Name × Array Ix.Name) from a RefMap.
pub fn build_ref_graph_array(
  cache: &mut LeanBuildCache,
  refs: &ix_compile::graph::RefMap,
) -> LeanArray<LeanOwned> {
  let arr = LeanArray::alloc(refs.len());
  for (i, (name, ref_set)) in refs.iter().enumerate() {
    let name_obj = LeanIxName::build(cache, name);

    let refs_arr = LeanArray::alloc(ref_set.len());
    for (j, ref_name) in ref_set.iter().enumerate() {
      let ref_name_obj = LeanIxName::build(cache, ref_name);
      refs_arr.set(j, ref_name_obj);
    }

    let pair = LeanProd::new(name_obj, refs_arr);
    arr.set(i, pair);
  }
  arr
}

impl LeanIxCondensedBlocks<LeanOwned> {
  /// Build a RustCondensedBlocks structure.