omega/examples/old_test/blume1.w.oc-rt


1
2
3
4
5
6
7
8
9
10
11
12

# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# Symbolic n, line5expr(2);
# 
# 
# $$
# \{ [i,j] -> [i',j'] \mid line5expr(In) = line5expr(Out) && 2 <= j <= 1 && 1 <= i <= n && 2 <= j' <= 1 && 1 <= i' <= n \};

{[i,j] -> [i',j']  : FALSE }

# 
# $$
#