maximize « old_test « examples « omegalib - chill.git - Composable High-level Loop Transformation Framework

summary refs log tree commit diff

path: root/omegalib/examples/old_test/maximize

blob: be13c89fdcccd9aa1abff8690f56bc20a6a7cabd (plain)

symbolic n, f(1);

R0 := {[x] : 1 <= x <= n};
R1 := {[x] : 1 <= x <= n && f(x) >= 0};
maximize R0;
maximize R1;
R1 intersection maximize R0;