Type Definition snarkvm_polycommit::Evaluations [−][src]
type Evaluations<'a, F> = BTreeMap<(String, F), F>;
Expand description
Evaluations
is the result of querying a set of labeled polynomials or equations
p
at a QuerySet
Q
. It maps each element of Q
to the resulting evaluation.
That is, if (label, query)
is an element of Q
, then evaluation.get((label, query))
should equal p[label].evaluate(query)
.