Standards /

WCPS-Manual / condenseExpr

A condenseExpr is either a reduceExpr or a generalCondenseExpr. It takes a coverage and summarizes its values using some summarization function. The value returned is scalar.