Type Definition snarkvm_polycommit::Evaluations [−][src]
pub 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).