newground.aggregate_strategies.rs_plus_star_helper module

Helper module for the rs-plus-star.

class newground.aggregate_strategies.rs_plus_star_helper.RSPlusStarHelper

Bases: object

Helper class for the rs-plus-star..

classmethod add_rs_star_tuple_predicate_rules(aggregate_dict, str_type, str_id, variable_dependencies, new_prg_part_set, always_add_variable_dependencies)

Method for adding the rs-star tuple predicates.

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

Generates the count-rule (alldiff-rule) for the RS-STAR and RS-PLUS aggregate-modes.

classmethod rs_plus_star_generate_bodies_alldiff_rule(count, elements, str_type, str_id, variable_dependencies, aggregate_mode, always_add_variable_dependencies, combination, combination_variables)

Method for the rs-plus-star alldiff predicate.