12.11 集合に紐づいていない添字の条件式における利用の禁止
順序集合クラスOrderedSetを利用するときは，添字に紐づいていない添字を宣言することがあります．具体的には，以下のような記述です．
Element j;
このような添字を条件式において利用することは禁止されています．
例えば，以下のような記述はエラー，あるいは動作不定になるので注意してください．
Set I = "1 .. 10";
Element i(set=I);
Parameter a(index=i);
a[i] = i;
Element j;
// 添字 j は紐づいている集合がない
// 添字 j を条件に用いると，エラーあるいは動作不定となる．
simple_printf("%d\n", a[i], (i,j)<I);
上に戻る