blob: 44a481d615f2bcb0f82213032c67ddf31fae0a14 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
symbolic n,m;
sym_example {[i] : 1 <= i <= n};
sym_example {[i] : m <= i <= n};
sym_example {[i] : m <= i <= n && exists (alpha : i = 2alpha)};
example {[i] : m <= i <= n && exists (alpha : i = 2alpha)};
example {[i] : m < i <= n && exists (alpha : i = 2alpha)};
example {[i] : m < i < n};
|
