omega/examples/old_test/guard1


1
2
3
4
5
6
7
8
9
10
11

symbolic n,m;
incomingKnown := { [i1,i2] : exists ( alpha : i1+3alpha = 1+i2 ) && 
                   i1 = n && i2 = m};


codegen incomingKnown;
incomingKnown := { [i1,i2] : exists ( alpha : i1+2alpha = 1+i2 ) &&
                   i1 = n && i2 = m};


codegen incomingKnown;