newground.aggregate_strategies.rs_helper module

Helper module for the rs-case.

class newground.aggregate_strategies.rs_helper.RSHelper

Bases: object

Helper class for the rs-case.

classmethod add_rs_tuple_predicate_rules(aggregate_dict, str_type, str_id, variable_dependencies, new_prg_part_set, always_add_variable_dependencies, rule_positive_body, skolem_constants)

Helper method for generating the tuple-predicates.

classmethod generate_skolem_constants(aggregate_dict, domain)

Helper method for generating skolem constants.

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

Generates the count-rule (alldiff-rule) for the RS aggregate-mode.