newground.aggregate_strategies.sum_aggregate_helper module

Helper module for the rewriting of the sum aggregate.

class newground.aggregate_strategies.sum_aggregate_helper.SumAggregateHelper

Bases: object

Helper class for the rewriting of the sum aggregate.

classmethod generate_sum_up_predicates(terms, current_number_of_predicate_tuples_considered, total_sum_value)

Generates the sum-comparison, i.e., total_sum <= X_1 + X_2 + …