enumerate_index_union_indices

Function enumerate_index_union_indices 

Source
pub fn enumerate_index_union_indices(
    a_domains: &[Moo<GroundDomain>],
    b_domains: &[Moo<GroundDomain>],
) -> Result<impl Iterator<Item = Vec<Literal>>, DomainOpError>
Expand description

See enumerate_indices. This function zips the two given lists of index domains, performs a union on each pair, and returns an enumerating iterator over the new list of domains.