Returns the range of values of an element.
Returns the range of values of an element. This method is memoized. If it has previously been called on the same element with a depth at least as great as this one, or if a previous call has resulted in a result with no Star, the previous result is reused.
This code ensures that if there are multiple elements that need to be expanded to a certain depth, then if one uses another, the full value set of the second is used in computing the value set of the first.
Returns the depth to which an element has been expanded, if any.
Returns the elements whose values have been computed.
Gets the mapping from apply arguments to values.
Gets the mapping from apply arguments to values.
Gets the mapping from apply arguments to values.
Gets the mapping from apply arguments to values.
Gets the mapping from apply arguments to values.
Gets the mapping from parent values to result elements associated with a chain.
Returns the previously computed values at maximum depth, if any.
Returns the previously computed values at maximum depth, if any. If the element has not been expanded, we return the empty value set.