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.