The number of iterations to run before samples are collected
The number of iterations to perform between collecting samples
A message instructing the handler to compute the distribution of the target element.
A message instructing the handler to compute the distribution of the target element.
A message instructing the handler to compute the expectation of the target element under the given function.
A message instructing the handler to compute the expectation of the target element under the given function.
A message instructing the handler to compute the probability of the predicate for the target element.
A message instructing the handler to compute the probability of the predicate for the target element.
A message instructing the handler to compute the projection of the target element.
A message instructing the handler to compute the projection of the target element.
A message from the handler containing the distribution of the previously requested element.
A message from the handler containing the distribution of the previously requested element.
A message from the handler containing the expected value of the previously requested element and function.
A message from the handler containing the expected value of the previously requested element and function.
A message from the handler containing the probability of the previously requested predicate and element.
A message from the handler containing the probability of the previously requested predicate and element.
A message from the handler containing the projection of the previously requested element.
A message from the handler containing the projection of the previously requested element.
A class representing the actor running the algorithm.
A class representing the actor running the algorithm.
A sample is a map from elements to their values.
A sample is a map from elements to their values.
Get the acceptance ratio for the sampler.
Get the acceptance ratio for the sampler.
Number of samples that should be taken in a single step of the algorithm.
Number of samples that should be taken in a single step of the algorithm.
Clean up the sampler, freeing memory.
Clean up the sampler, freeing memory.
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 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 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.
The actor running the algorithm.
The actor running the algorithm.
Set this flag to true to obtain debugging information.
Set this flag to true to obtain debugging information.
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.
Number of samples taken
Number of samples taken
Total weight of samples taken, in log space
Total weight of samples taken, in log space
A handler of services provided by the algorithm.
A handler of services provided by the algorithm.
Initialize the sampler.
Initialize the sampler.
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.
default message timeout.
default message timeout. Increase if queries to the algorithm fail due to timeout
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.
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.
Run a single step of the algorithm.
Run a single step of the algorithm. The algorithm must be able to provide answers after each step.
Produce a single sample.
Produce a single sample.
Release all resources from this anytime algorithm.
Release all resources from this anytime algorithm.
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.
Override the stopUpdate function in anytime to call the sampler update function
Override the stopUpdate function in anytime to call the sampler update function
Test Metropolis-Hastings by repeatedly running a single step from the same initial state.
Test Metropolis-Hastings by repeatedly running a single step from the same initial state. For each of a set of predicates, the fraction of times the predicate is satisfied by the resulting state is returned. By the resulting state, we mean the new state if it is accepted and the original state if not.
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.
Anytime Metropolis-Hastings sampler.