PgCoverage.max

Set the coverage for each index in coverage to be the max (better) value of the current coverage for the index and the coverage for the corresponding index in other.

class PgCoverage
void
max

Parameters

other PgCoverage

another PangoCoverage

Meta