Interface IDiscreteDistribution

    • Method Detail

      • range

        default int[] range​(IExpr discreteDistribution,
                            IExpr predicate,
                            IExpr x)
        Return the distributions lower and upper bounds reduced by the predicate's assumptions.
        Parameters:
        discreteDistribution -
        predicate -
        x -
        Returns:
        null if no interval could be determined
      • getSupportLowerBound

        default int getSupportLowerBound​(IExpr discreteDistribution)
        The lower bound of the support is 0 by default.
        Parameters:
        discreteDistribution -
        Returns:
        lower bound of the support (always 0)
      • getSupportUpperBound

        default int getSupportUpperBound​(IExpr discreteDistribution)
        The upper bound of the support is positive infinity, regardless of the parameter values. There is no integer infinity, so this method returns Integer.MAX_VALUE.
        Parameters:
        discreteDistribution -
        Returns:
        upper bound of the support (always Integer.MAX_VALUE for positive infinity)