Ejemplo n.º 1
0
        public PolyhedraEnvironment <Expression> Meet(PolyhedraEnvironment <Expression> right)
        {
            PolyhedraEnvironment <Expression> result;

            if (AbstractDomainsHelper.TryTrivialMeet(this, right, out result))
            {
                return(result);
            }
            else
            {
                return(Factory(UnderlyingPolyhedra.Meet(embedded, right.embedded), intv.Meet(right.intv)));
            }
        }