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 + …