Expand description

Definition and helper structs for the NonNegative attribute.

Structs

  • Traverses a MirRelationExpr tree and figures out whether for subtree the sum of all diffs up to a specific time for any record can be a negative value.