Skip to main content

resolved_index_domains

conjure_cp::ast::matrix

Function resolved_index_domains 

Source 
pub fn resolved_index_domains(
    matrix: &AbstractLiteral<Expression>,
) -> Result<Vec<Moo<GroundDomain>>, DomainOpError>
Expand description

Gets the index domains for a matrix expression and resolves them