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

            if (IntervalInference.TryRefine_KLessThanRight(true, k, right, Rational.For(1), this, out refined))
            {
                this[right] = refined;
            }
        }