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.