blob: 8b5290fa10af68a79b3bbb8cf8058fb56686985d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
# Omega Calculator [v1.1, Oct 96]:
# #
# # These are the examples from the documentation for the
# # C++ interface to the Omega Library.
# #
#
# symbolic n, m, F(1);
#
#
# S1 := { [t] : 1 <= t <= n };
#
# S2 := { [x] : (0 <= x <= 100 and
# exists (y : 2n <= y <= x and exists (z : y = 2*z+1)))
# or x = 17 };
#
# R := { [i,j] -> [i',j'] : 1 <= i <= i' <= n and not (F(In) = F(Out))
# and 1 <= j, j' <= m };
#
#
# S1;
{[t]: 1 <= t <= n}
#
# S2;
{[x]: 0, 2n+1 <= x <= 100} union
{[x]: x = 17}
#
# R;
{[i,j] -> [i',j'] : 1 <= i < i' <= n && 1 <= j <= m && 1 <= j' <= m && F(i) < F(i')} union
{[i,j] -> [i',j'] : 1 <= i < i' <= n && 1 <= j <= m && 1 <= j' <= m && F(i') < F(i)}
#
|
