Return an estimate of the marginal probability distribution over the target that lists each value with its probability bounds.
Return an estimate of the marginal probability distribution over the target that lists each value with its probability bounds. Each entry is a triple (lower, upper, value). The result is a lazy stream. It is up to the algorithm how the stream is ordered.
Return an estimate of the marginal probability distribution over the target that lists each element with its probability.
Return an estimate of the marginal probability distribution over the target that lists each element with its probability. The result is a lazy stream. It is up to the algorithm how the stream is ordered.
Return an estimate of the expectation of the function under the marginal probability distribution of the target.
Return an estimate of the expectation of the function under the marginal probability distribution of the target.
Return an estimate of the bounds on the expectation of the function under the marginal probability distribution of the target.
Return an estimate of the bounds on the expectation of the function under the marginal probability distribution of the target. The function is assumed to be bounded between the specified lower and upper bounds, if provided. Otherwise, the lower and upper bounds of the function using the current known values of the target are used.
Run the algorithm, performing its computation to completion.
Run the algorithm, performing its computation to completion.
Return an estimate of the marginal probability distribution over the target that lists each value with its probability bounds.
Return an estimate of the marginal probability distribution over the target that lists each value with its probability bounds. Each entry is a triple (lower, upper, value). The result is a lazy stream. It is up to the algorithm how the stream is ordered.
Element for which to compute bounds.
Bounds on the probability of each value for this element.
AlgorithmInactiveException
if the algorithm is inactive.
NotATargetException
if called on a target that is not in the list of targets of the algorithm.
Called when the algorithm is killed.
Called when the algorithm is killed. By default, does nothing. Can be overridden.
Return an estimate of the probability of the predicate under the marginal probability distribution of the target.
Return an estimate of the probability of the predicate under the marginal probability distribution of the target.
Return an estimate of the probability of the bounds on the predicate under the marginal probability distribution of the target.
Return an estimate of the probability of the bounds on the predicate under the marginal probability distribution of the target.
Return an estimate of the marginal probability distribution over the target that lists each element with its probability.
Return an estimate of the marginal probability distribution over the target that lists each element with its probability. The result is a lazy stream. It is up to the algorithm how the stream is ordered. Throws NotATargetException if called on a target that is not in the list of targets of the algorithm. Throws AlgorithmInactiveException if the algorithm is inactive.
Return an estimate of the expectation of the function under the marginal probability distribution of the target.
Return an estimate of the expectation of the function under the marginal probability distribution of the target. Throws NotATargetException if called on a target that is not in the list of targets of the algorithm. Throws AlgorithmInactiveException if the algorithm is inactive.
Return an estimate of the expectation of the function under the marginal probability distribution of the target.
Return an estimate of the expectation of the function under the marginal probability distribution of the target. Throws NotATargetException if called on a target that is not in the list of targets of the algorithm. Throws AlgorithmInactiveException if the algorithm is inactive.
Return an estimate of the bounds on the expectation of the function under the marginal probability distribution of the target.
Return an estimate of the bounds on the expectation of the function under the marginal probability distribution of the target. The function is assumed to be bounded according to the currently known values of the target. Thus, one should generally only use this when the range of the target is finite and known beforehand. Otherwise, one can use the overloaded version of this method that specifies explicit bounds on the function.
Element for which to compute bounds.
Function whose expectation is computed.
Bounds on the expectation of this function for this element.
AlgorithmInactiveException
if the algorithm is inactive.
NotATargetException
if called on a target that is not in the list of targets of the algorithm.
Return an estimate of the bounds on the expectation of the function under the marginal probability distribution of the target.
Return an estimate of the bounds on the expectation of the function under the marginal probability distribution of the target. The function is assumed to be bounded between the specified lower and upper bounds.
Element for which to compute bounds.
Function whose expectation is computed.
Lower bound on the function.
Upper bound on the function.
Bounds on the expectation of this function for this element.
AlgorithmInactiveException
if the algorithm is inactive.
IllegalArgumentException
if the bounds given on the function are tighter than the actual bounds on the
function, using the current known values of the target.
NotATargetException
if called on a target that is not in the list of targets of the algorithm.
Called when the algorithm is started before running any steps.
Called when the algorithm is started before running any steps. By default, does nothing. Can be overridden.
Kill the algorithm so that it is inactive.
Kill the algorithm so that it is inactive. It will no longer be able to provide answers.Throws AlgorithmInactiveException if the algorithm is not active.
Return the mean of the probability density function for the given continuous element.
Return the mean of the probability density function for the given continuous element.
Return an element representing the posterior probability distribution of the given element.
Return an element representing the posterior probability distribution of the given element.
Return an estimate of the probability that the target produces the value.
Return an estimate of the probability that the target produces the value. Throws NotATargetException if called on a target that is not in the list of targets of the algorithm. Throws AlgorithmInactiveException if the algorithm is inactive.
Return an estimate of the probability of the predicate under the marginal probability distribution of the target.
Return an estimate of the probability of the predicate under the marginal probability distribution of the target. Throws NotATargetException if called on a target that is not in the list of targets of the algorithm. Throws AlgorithmInactiveException if the algorithm is inactive.
Return an estimate of the probability of the predicate under the marginal probability distribution of the target.
Return an estimate of the probability of the predicate under the marginal probability distribution of the target. Throws NotATargetException if called on a target that is not in the list of targets of the algorithm. Throws AlgorithmInactiveException if the algorithm is inactive.
Return an estimate of the probability of the bounds on the predicate under the marginal probability distribution of the target.
Return an estimate of the probability of the bounds on the predicate under the marginal probability distribution of the target.
Element for which to compute bounds.
Function whose probability of evaluating to true is computed.
Bounds on the probability of this function for this element.
AlgorithmInactiveException
if the algorithm is inactive.
NotATargetException
if called on a target that is not in the list of targets of the algorithm.
Resume the computation of the algorithm, if it has been stopped.
Resume the computation of the algorithm, if it has been stopped. Throws AlgorithmInactiveException if the algorithm is not active.
Start the algorithm and make it active.
Start the algorithm and make it active. After it returns, the algorithm must be ready to provide answers. Throws AlgorithmActiveException if the algorithm is already active.
Stop the algorithm from computing.
Stop the algorithm from computing. The algorithm is still ready to provide answers after it returns. Throws AlgorithmInactiveException if the algorithm is not active.
Return the variance of the probability density function for the given continuous element.
Return the variance of the probability density function for the given continuous element.
One-time algorithms that compute bounds on conditional probabilities of query elements. A class that implements this trait must implement run, computeAllProbabilityBounds, and computeExpectationBounds methods.