Ejemplo n.º 1
0
        protected override void AssumeLeftLessThanK(Variable left, DisInterval k)
        {
            DisInterval refined;

            if (IntervalInference.TryRefine_LeftLessThanK(true, left, k, this, out refined))
            {
                this[left] = refined;
            }
        }