private void UpdateVar0() { if (VarList.Count > 0) { IntDomain domain = VarList.Front().Domain *m_IntArray[0]; for (int idx = 1; idx < VarList.Count; ++idx) { domain += VarList[idx].Domain * m_IntArray[idx]; } Var0.Intersect(domain); } }
public override void Update() { if (VarList.Count == 0) { return; } IntDomain domain = VarList.Front().Domain; for (int idx = 1; idx < VarList.Count; ++idx) { domain *= VarList[idx].Domain; } Var0.Intersect(domain); }