[FlopCpp] MP_index

[Tim Hultberg]

The indices are only bound to sets according to how they appear in
expressions, following the normal scope rules of quantifiers.

Therefore there are no problems with

sum(S1(myIndex), X1(myIndex)) + sum(S2(myIndex), X2(myIndex))

for example.

Tim


Tim Hultberg

>>> Dharmashankar Subramanian <dharmash at us.ibm.com> 05/11/07 6:28 PM >>>
Hi,
Can we declare a single MP_index, say:
MP_index myIndex;

And use it as an iterator on:
The same set, say, S, multiple number of times, as needed by the program
Multiple sets, say, S1, S2,...Sn, multiple number of times, as needed by

the program.

Or do we need to associate an MP_index, that is exclusively associated
for 
downstream use, with a specific set on which it iterates.

Pls let me know.


Thanks,
Shankar
-------------------------------------------------------------
Dharmashankar Subramanian
Research Staff Member, 
Analytic Models & Architecture
Math Sciences Department
Route 134, IBM T.J. Watson Research Center,
Yorktown Heights, NY 10598
Phone: 914-945-1588