Module mz_transform::analysis::non_negative

Determines if accumulated frequences can be negative.

This analysis assumes that globally identified collection have the property, and it is incorrect to apply it to expressions that reference external collections that may have negative accumulations.

Structs

• NonNegative
  Analysis that determines if all accumulations at all times are non-negative.

Functions

• is_superset_of 🔒
  Returns true only if rhs.negate().union(lhs) contains only non-negative multiplicities once consolidated.