newground.aggregate_strategies package

Submodules

• newground.aggregate_strategies.aggregate_mode module
  • AggregateMode
    • AggregateMode.RA
    • AggregateMode.RECURSIVE
    • AggregateMode.RS
    • AggregateMode.RS_PLUS
    • AggregateMode.RS_STAR
• newground.aggregate_strategies.count_aggregate_helper module
  • CountAggregateHelper
    • CountAggregateHelper.all_diff_generator()
    • CountAggregateHelper.check_string_is_int()
    • CountAggregateHelper.generate_all_diff_predicates()
• newground.aggregate_strategies.recursive_mode module
  • RecursiveAggregateRewriting
    • RecursiveAggregateRewriting.add_partial_predicate_rules()
    • RecursiveAggregateRewriting.added_to_original_body()
    • RecursiveAggregateRewriting.generate_aggregate()
    • RecursiveAggregateRewriting.generate_helper_variables()
    • RecursiveAggregateRewriting.generate_ordering_predicate_rules()
    • RecursiveAggregateRewriting.generate_tuple_predicate_rules()
    • RecursiveAggregateRewriting.recursive_strategy()
• newground.aggregate_strategies.replace_aggregate_strategy module
  • ReplaceAggregateStrategy
    • ReplaceAggregateStrategy.replace_aggregate_strategy()
• newground.aggregate_strategies.rewriting_aggregate_strategy module
  • RSRewriting
    • RSRewriting.aggregate_caller()
    • RSRewriting.get_guard_domain()
    • RSRewriting.handle_left_guard()
    • RSRewriting.handle_right_guard()
    • RSRewriting.rewriting_aggregate_strategy()
    • RSRewriting.rewriting_no_body_aggregate_strategy()
• newground.aggregate_strategies.rewriting_count_helper module
  • RewritingCountHelper
    • RewritingCountHelper.rs_count_generate_alldiff_rules_helper()
    • RewritingCountHelper.rs_plus_star_count_generate_alldiff_rules_helper()
• newground.aggregate_strategies.rewriting_count_sum module
  • RewritingCountSum
    • RewritingCountSum.add_count_sum_aggregate_rules()
    • RewritingCountSum.equal_operator()
    • RewritingCountSum.monotone_antimonotone_operators()
    • RewritingCountSum.not_equal_operator()
• newground.aggregate_strategies.rewriting_min_max module
  • RewritingMinMax
    • RewritingMinMax.add_min_max_aggregate_rules()
• newground.aggregate_strategies.rewriting_sum_helper module
  • RewritingSumHelper
    • RewritingSumHelper.rs_plus_star_sum_generate_alldiff_rules_helper()
    • RewritingSumHelper.rs_sum_generate_alldiff_rules_helper()
• newground.aggregate_strategies.rm_case module
  • RMCase
    • RMCase.handle_rm_case()
• newground.aggregate_strategies.rs_helper module
  • RSHelper
    • RSHelper.add_rs_tuple_predicate_rules()
    • RSHelper.generate_skolem_constants()
    • RSHelper.rs_count_generate_count_rule()
• newground.aggregate_strategies.rs_plus_star_helper module
  • RSPlusStarHelper
    • RSPlusStarHelper.add_rs_star_tuple_predicate_rules()
    • RSPlusStarHelper.rs_plus_star_generate_all_diff_rules()
    • RSPlusStarHelper.rs_plus_star_generate_bodies_alldiff_rule()
• newground.aggregate_strategies.sum_aggregate_helper module
  • SumAggregateHelper
    • SumAggregateHelper.generate_sum_up_predicates()

Module contents

Module responsible for helping to transform the aggregates.