AnalyzeConstraints processes the span config constraints that apply to a range along with the current replicas for a range, spitting back out information about which constraints are satisfied by which replicas and which replicas satisfy which constraints, aiding in allocation decisions.

CheckConjunction checks the given attributes and locality tags against all the given constraints.

CheckStoreConjunction checks a store against a single set of constraints (out of the possibly numerous sets that apply to a range), returning true iff the store matches the constraints.

EmptyAnalyzedConstraints represents an empty set of constraints that are satisfied by any given configuration of replicas.

AnalyzedConstraints represents the result of AnalyzeConstraints().

StoreResolver resolves a store descriptor by a given ID.