newground.aggregate_strategies.rewriting_min_max module

Rewriting min-max aggregates.

class newground.aggregate_strategies.rewriting_min_max.RewritingMinMax

Bases: object

Class for rewriting-min-max aggregates.

classmethod add_min_max_aggregate_rules(str_type, aggregate_dict, variable_dependencies, aggregate_mode, guard_domain, operator_type, string_capsulation, guard_string, rule_positive_body)

Add min-max aggregate rules.