Example #1
0
        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);
            }
        }
Example #2
0
        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);
        }