newground.aggregate_strategies.rewriting_aggregate_strategy module

General module for the rewriting strategy.

class newground.aggregate_strategies.rewriting_aggregate_strategy.RSRewriting

Bases: object

General class for the rewriting strategy.

classmethod aggregate_caller(str_type, aggregate_dict, variables_dependencies_aggregate, aggregate_mode, cur_variable_dependencies, guard_domain, operator_type, string_capsulation, guard_string, rule_positive_body, domain)

Method which calls the Count/Sum OR Min/Max aggregate-sum-classes.

classmethod get_guard_domain(cur_variable_dependencies, domain, guard, guard_string)

Method which gets the guard domain.

classmethod handle_left_guard(aggregate_dict, variables_dependencies_aggregate, aggregate_mode, cur_variable_dependencies, domain, rule_positive_body, str_type, new_prg_list, new_prg_set, output_remaining_body)

Method which handles the left guard of the aggregate.

classmethod handle_right_guard(aggregate_dict, variables_dependencies_aggregate, aggregate_mode, cur_variable_dependencies, domain, rule_positive_body, str_type, new_prg_list, new_prg_set, output_remaining_body)

Method which handles the right guard of the aggregate.

classmethod rewriting_aggregate_strategy(aggregate_dict, variables_dependencies_aggregate, aggregate_mode, cur_variable_dependencies, domain, rule_positive_body)

Main caller method for the rewriting procedure.

classmethod rewriting_no_body_aggregate_strategy(aggregate_dict, variables_dependencies_aggregate, aggregate_mode, cur_variable_dependencies, domain, rule_positive_body)

Wrapper for rewriting Strategy for RS-PLUS.