omega/examples/old_test/sample2


1
2
3
4
5
6
7
8
9
10
11

symbolic n,m;

example { [i] -> [j] : 1 <= i <= 20 };

example {[i] : 1 <= i <= n};

example {[i] : m <= i <= n};

example {[i] : exists ( alpha : i <= 2alpha)};

example {[i] : exists ( alpha : i = 2alpha)};