blob: 65682bbaf9bc330dd9c0eed4d8818c97d88f2512 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
symbolic exprVar1;
symbolic exprVar2;
symbolic exprVar3;
ispace := {[In_1] : exists ( alpha : In_1+8alpha = 1+exprVar2 && exprVar3 =
0 && 1 <= exprVar1 < In_1 <= 16 && exprVar2 < In_1)};
known := {[In1] : exists ( alpha : exprVar3 = 0 && exprVar2 <= 8alpha +15
&& alpha <= 0 && 1 <= exprVar1 && exprVar1+8alpha <= exprVar2)};
codegen ispace given known;
|
