omega/examples/old_test/olda


1
2
3
4
5
6
7
8
9

T10:={[mp,mq,mi] -> [mi,mq,mp,0]};
T20:={[mp,mq,mi] -> [mi,mp,mq,1]};

symbolic np,morb;
IS10 := {[mp,mq,mi]: 1 <= mp <= np && 1 <= mq <= mp && 1 <= mi <= morb};
IS20 := IS10;

codegen T10:IS10,T20:IS20;
codegen 2 T10:IS10,T20:IS20;