0
我想定義一個參數Aicp - 供應商I在期間p的部分c的能力。 有5個供應商(i)中,3份(c)和6個週期(P)定義參數和寫入約束
這是我所定義的方式:
mod文件
tuple capacity3
{
key int sup;
key int comp;
key int peri;
int val3;
}
{capacity3}aa=...;
。 dat文件
aa={<1,1,1,620>,<1,1,2,610>,<1,1,3,630>,<1,1,4,620>, ..........
而且我寫的約束,其中該參數爲:
item(aa,<i,c,p>).val3; // where aa denotes the value of Aicp
我還沒有得到正確的答案。我的錯誤在哪裏?