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.