newground.aggregate_strategies.rewriting_sum_helper module

Module for rewriting sum-aggregates.

class newground.aggregate_strategies.rewriting_sum_helper.RewritingSumHelper

Bases: object

Class for rewriting sum-aggregates.

classmethod rs_plus_star_sum_generate_alldiff_rules_helper(rule_head_name, local_sum, elements, str_type, str_id, variable_dependencies, aggregate_mode, cur_variable_dependencies, always_add_variable_dependencies)

Method for generating the alldiff-predicate for rs-plus-star.

classmethod rs_sum_generate_alldiff_rules_helper(rule_head_name, local_cum, str_type, str_id, variable_dependencies, always_add_variable_dependencies, skolem_constants)

Method for generating the alldiff-predicate for the sum-aggregate.