newground.aggregate_strategies.rewriting_count_helper module

Helper module for the count aggregate.

class newground.aggregate_strategies.rewriting_count_helper.RewritingCountHelper

Bases: object

Helper class for the count aggregate.

classmethod rs_count_generate_alldiff_rules_helper(rule_head_name, count, str_type, str_id, variable_dependencies, always_add_variable_dependencies, skolem_constants, total_count=0)

Wrapper for the alldiff generation.

classmethod rs_plus_star_count_generate_alldiff_rules_helper(rule_head_name, count, elements, str_type, str_id, variable_dependencies, aggregate_mode, cur_variable_dependencies, always_add_variable_dependencies, total_count=0)

Special wrapper for the alldiff-predicate for the RS-Plus-Star method.