omega/examples/old_test/closure1


1
2
3
4
5
6
7
8

({[i] -> [i+2]} union {[i] -> [i+3]})+;
R := ({[i] -> [i'] : i'=i+3} union {[i] -> [i'] : i'=i+5} union {[i] -> [i'] : i'=i+7})+;
R;
notR := {[i] -> [i'] : i' >= i+3} - R;
notR;
{[i] -> [i'] : i' >= i+3} - notR;