pub fn generator_values_from_expr(expr: &Expression) -> Option<Vec<Literal>>Expand description
Values for a constant collection expression used during constant folding.
This does not enumerate decision-variable domains; quantification over decisions is not unrolled here.