Index

A

add_atom_to_unfoundedness_check() (newground.main_transformer_helpers.helper_part.HelperPart class method) add_count_sum_aggregate_rules() (newground.aggregate_strategies.rewriting_count_sum.RewritingCountSum class method) add_min_max_aggregate_rules() (newground.aggregate_strategies.rewriting_min_max.RewritingMinMax class method) add_partial_predicate_rules() (newground.aggregate_strategies.recursive_mode.RecursiveAggregateRewriting class method) add_predicate_name_to_dependency_graph() (newground.term_transformer.TermTransformer method) add_rs_star_tuple_predicate_rules() (newground.aggregate_strategies.rs_plus_star_helper.RSPlusStarHelper class method) add_rs_tuple_predicate_rules() (newground.aggregate_strategies.rs_helper.RSHelper class method) added_to_original_body() (newground.aggregate_strategies.recursive_mode.RecursiveAggregateRewriting class method)

aggregate_caller() (newground.aggregate_strategies.rewriting_aggregate_strategy.RSRewriting class method) aggregate_count_special_variable_getter() (newground.comparison_tools.ComparisonTools class method) AggregateMode (class in newground.aggregate_strategies.aggregate_mode) AggregateTransformer (class in newground.aggregate_transformer) all_diff_generator() (newground.aggregate_strategies.count_aggregate_helper.CountAggregateHelper class method) apply_binary_operation() (newground.comparison_tools.ComparisonTools class method) apply_unary_operation() (newground.comparison_tools.ComparisonTools class method) ASSUME_TIGHT (newground.cyclic_strategy.CyclicStrategy attribute)

C

check_string_is_int() (newground.aggregate_strategies.count_aggregate_helper.CountAggregateHelper class method) compare_terms() (newground.comparison_tools.ComparisonTools class method) comparison_handlings() (newground.comparison_tools.ComparisonTools class method) ComparisonTools (class in newground.comparison_tools)

compute_scc_data_structures() (newground.newground.Newground method) CountAggregateHelper (class in newground.aggregate_strategies.count_aggregate_helper) custom_print() (newground.default_output_printer.DefaultOutputPrinter method) CyclicStrategy (class in newground.cyclic_strategy)

D

DefaultOutputPrinter (class in newground.default_output_printer) dependency_graph_update() (newground.term_transformer.TermTransformer method)

do_ground_guess() (newground.main_transformer_helpers.guess_head_part.GuessHeadPart method) DomainTransformer (class in newground.domain_transformer)

E

equal_operator() (newground.aggregate_strategies.rewriting_count_sum.RewritingCountSum class method)

evaluate_binary_operation() (newground.comparison_tools.ComparisonTools class method) evaluate_operation() (newground.comparison_tools.ComparisonTools class method)

F

for_each_aggregate_condition() (newground.aggregate_transformer.AggregateTransformer method)

G

generate_aggregate() (newground.aggregate_strategies.recursive_mode.RecursiveAggregateRewriting class method) generate_all_diff_predicates() (newground.aggregate_strategies.count_aggregate_helper.CountAggregateHelper class method) generate_binary_operator_domain() (newground.comparison_tools.ComparisonTools class method) generate_domain() (newground.comparison_tools.ComparisonTools class method) generate_foundedness_comparisons() (newground.main_transformer_helpers.generate_foundedness_part_comparisons.GenerateFoundednessPartComparisons method) generate_foundedness_functions() (newground.main_transformer_helpers.generate_foundedness_part_function.GenerateFoundednessPartFunction method) generate_foundedness_part() (newground.main_transformer_helpers.generate_foundedness_part.GenerateFoundednessPart method) generate_ground_precs() (newground.main_transformer_helpers.level_mappings_part.LevelMappingsPart method) generate_ground_transitivity() (newground.main_transformer_helpers.level_mappings_part.LevelMappingsPart method) generate_head_atom() (newground.main_transformer_helpers.helper_part.HelperPart class method) generate_helper_variables() (newground.aggregate_strategies.recursive_mode.RecursiveAggregateRewriting class method) generate_level_mappings() (newground.main_transformer_helpers.level_mappings_part.LevelMappingsPart method) generate_non_ground_precs() (newground.main_transformer_helpers.level_mappings_part.LevelMappingsPart method) generate_non_ground_transitivity() (newground.main_transformer_helpers.level_mappings_part.LevelMappingsPart method) generate_ordering_predicate_rules() (newground.aggregate_strategies.recursive_mode.RecursiveAggregateRewriting class method) generate_sat_part() (newground.main_transformer_helpers.generate_satisfiability_part.GenerateSatisfiabilityPart method)

generate_skolem_constants() (newground.aggregate_strategies.rs_helper.RSHelper class method) generate_sum_up_predicates() (newground.aggregate_strategies.sum_aggregate_helper.SumAggregateHelper class method) generate_tuple_predicate_rules() (newground.aggregate_strategies.recursive_mode.RecursiveAggregateRewriting class method) generate_unary_operator_domain() (newground.comparison_tools.ComparisonTools class method) GenerateFoundednessPart (class in newground.main_transformer_helpers.generate_foundedness_part) GenerateFoundednessPartComparisons (class in newground.main_transformer_helpers.generate_foundedness_part_comparisons) GenerateFoundednessPartFunction (class in newground.main_transformer_helpers.generate_foundedness_part_function) GenerateSatisfiabilityPart (class in newground.main_transformer_helpers.generate_satisfiability_part) get_arguments_from_operation() (newground.comparison_tools.ComparisonTools class method) get_comp_operator() (newground.comparison_tools.ComparisonTools class method) get_domain_values_from_rule_variable() (newground.main_transformer_helpers.helper_part.HelperPart class method) get_guard_domain() (newground.aggregate_strategies.rewriting_aggregate_strategy.RSRewriting class method) get_vars_needed() (newground.main_transformer_helpers.helper_part.HelperPart class method) global_main_transformations() (newground.newground.Newground method) GroundingModes (class in newground.grounding_modes) guess_head() (newground.main_transformer_helpers.guess_head_part.GuessHeadPart method) GuessHeadPart (class in newground.main_transformer_helpers.guess_head_part)

H

handle_ground_rule() (newground.main_transformer.MainTransformer method) handle_left_guard() (newground.aggregate_strategies.rewriting_aggregate_strategy.RSRewriting class method) handle_no_rewrite_rule() (newground.main_transformer.MainTransformer method) handle_non_ground_rule() (newground.main_transformer.MainTransformer method)

handle_right_guard() (newground.aggregate_strategies.rewriting_aggregate_strategy.RSRewriting class method) handle_rm_case() (newground.aggregate_strategies.rm_case.RMCase class method) handle_strongly_connected_component() (newground.newground.Newground method) HelperPart (class in newground.main_transformer_helpers.helper_part)

I

ignore_exception() (newground.main_transformer_helpers.helper_part.HelperPart class method)

instantiate_operation() (newground.comparison_tools.ComparisonTools class method)

L

LEVEL_MAPPING (newground.cyclic_strategy.CyclicStrategy attribute)

LEVEL_MAPPING_AAAI (newground.cyclic_strategy.CyclicStrategy attribute) LevelMappingsPart (class in newground.main_transformer_helpers.level_mappings_part)

M

main() (in module newground) MainTransformer (class in newground.main_transformer) module newground newground.aggregate_strategies newground.aggregate_strategies.aggregate_mode newground.aggregate_strategies.count_aggregate_helper newground.aggregate_strategies.recursive_mode newground.aggregate_strategies.replace_aggregate_strategy newground.aggregate_strategies.rewriting_aggregate_strategy newground.aggregate_strategies.rewriting_count_helper newground.aggregate_strategies.rewriting_count_sum newground.aggregate_strategies.rewriting_min_max newground.aggregate_strategies.rewriting_sum_helper newground.aggregate_strategies.rm_case newground.aggregate_strategies.rs_helper newground.aggregate_strategies.rs_plus_star_helper newground.aggregate_strategies.sum_aggregate_helper newground.aggregate_transformer newground.comparison_tools newground.cyclic_strategy newground.default_output_printer newground.domain_transformer newground.grounding_modes newground.main_transformer newground.main_transformer_helpers newground.main_transformer_helpers.generate_foundedness_part newground.main_transformer_helpers.generate_foundedness_part_comparisons newground.main_transformer_helpers.generate_foundedness_part_function newground.main_transformer_helpers.generate_satisfiability_part newground.main_transformer_helpers.guess_head_part newground.main_transformer_helpers.helper_part newground.main_transformer_helpers.level_mappings_part newground.newground newground.term_transformer

monotone_antimonotone_operators() (newground.aggregate_strategies.rewriting_count_sum.RewritingCountSum class method)

N

newground module Newground (class in newground.newground) newground.aggregate_strategies module newground.aggregate_strategies.aggregate_mode module newground.aggregate_strategies.count_aggregate_helper module newground.aggregate_strategies.recursive_mode module newground.aggregate_strategies.replace_aggregate_strategy module newground.aggregate_strategies.rewriting_aggregate_strategy module newground.aggregate_strategies.rewriting_count_helper module newground.aggregate_strategies.rewriting_count_sum module newground.aggregate_strategies.rewriting_min_max module newground.aggregate_strategies.rewriting_sum_helper module newground.aggregate_strategies.rm_case module newground.aggregate_strategies.rs_helper module newground.aggregate_strategies.rs_plus_star_helper module newground.aggregate_strategies.sum_aggregate_helper module newground.aggregate_transformer module

newground.comparison_tools module newground.cyclic_strategy module newground.default_output_printer module newground.domain_transformer module newground.grounding_modes module newground.main_transformer module newground.main_transformer_helpers module newground.main_transformer_helpers.generate_foundedness_part module newground.main_transformer_helpers.generate_foundedness_part_comparisons module newground.main_transformer_helpers.generate_foundedness_part_function module newground.main_transformer_helpers.generate_satisfiability_part module newground.main_transformer_helpers.guess_head_part module newground.main_transformer_helpers.helper_part module newground.main_transformer_helpers.level_mappings_part module newground.newground module newground.term_transformer module not_equal_operator() (newground.aggregate_strategies.rewriting_count_sum.RewritingCountSum class method)

R

RA (newground.aggregate_strategies.aggregate_mode.AggregateMode attribute) RECURSIVE (newground.aggregate_strategies.aggregate_mode.AggregateMode attribute) recursive_strategy() (newground.aggregate_strategies.recursive_mode.RecursiveAggregateRewriting class method) RecursiveAggregateRewriting (class in newground.aggregate_strategies.recursive_mode) remove_unnecessary_safe_positions() (newground.domain_transformer.DomainTransformer method) replace_aggregate_strategy() (newground.aggregate_strategies.replace_aggregate_strategy.ReplaceAggregateStrategy class method) ReplaceAggregateStrategy (class in newground.aggregate_strategies.replace_aggregate_strategy) REWRITE_AGGREGATES_GROUND_FULLY (newground.grounding_modes.GroundingModes attribute) REWRITE_AGGREGATES_GROUND_PARTLY (newground.grounding_modes.GroundingModes attribute) REWRITE_AGGREGATES_NO_GROUND (newground.grounding_modes.GroundingModes attribute) rewriting_aggregate_strategy() (newground.aggregate_strategies.rewriting_aggregate_strategy.RSRewriting class method) rewriting_no_body_aggregate_strategy() (newground.aggregate_strategies.rewriting_aggregate_strategy.RSRewriting class method) RewritingCountHelper (class in newground.aggregate_strategies.rewriting_count_helper) RewritingCountSum (class in newground.aggregate_strategies.rewriting_count_sum) RewritingMinMax (class in newground.aggregate_strategies.rewriting_min_max)

RewritingSumHelper (class in newground.aggregate_strategies.rewriting_sum_helper) RMCase (class in newground.aggregate_strategies.rm_case) RS (newground.aggregate_strategies.aggregate_mode.AggregateMode attribute) rs_count_generate_alldiff_rules_helper() (newground.aggregate_strategies.rewriting_count_helper.RewritingCountHelper class method) rs_count_generate_count_rule() (newground.aggregate_strategies.rs_helper.RSHelper class method) RS_PLUS (newground.aggregate_strategies.aggregate_mode.AggregateMode attribute) rs_plus_star_count_generate_alldiff_rules_helper() (newground.aggregate_strategies.rewriting_count_helper.RewritingCountHelper class method) rs_plus_star_generate_all_diff_rules() (newground.aggregate_strategies.rs_plus_star_helper.RSPlusStarHelper class method) rs_plus_star_generate_bodies_alldiff_rule() (newground.aggregate_strategies.rs_plus_star_helper.RSPlusStarHelper class method) rs_plus_star_sum_generate_alldiff_rules_helper() (newground.aggregate_strategies.rewriting_sum_helper.RewritingSumHelper class method) RS_STAR (newground.aggregate_strategies.aggregate_mode.AggregateMode attribute) rs_sum_generate_alldiff_rules_helper() (newground.aggregate_strategies.rewriting_sum_helper.RewritingSumHelper class method) RSHelper (class in newground.aggregate_strategies.rs_helper) RSPlusStarHelper (class in newground.aggregate_strategies.rs_plus_star_helper) RSRewriting (class in newground.aggregate_strategies.rewriting_aggregate_strategy)

S

scc_extract_relevant_bodies() (newground.newground.Newground method) scc_extract_relevant_heads() (newground.newground.Newground method) SHARED_CYCLE_BODY_PREDICATES (newground.cyclic_strategy.CyclicStrategy attribute) start() (newground.newground.Newground method)

start_aggregate_transformer() (newground.newground.Newground method) start_domain_inference() (newground.newground.Newground method) start_main_transformation() (newground.newground.Newground method) SumAggregateHelper (class in newground.aggregate_strategies.sum_aggregate_helper)

T

TermTransformer (class in newground.term_transformer) try_upper_boun_left_side() (newground.domain_transformer.DomainTransformer method)

try_upper_bound_domain() (newground.domain_transformer.DomainTransformer method) try_upper_bound_right_side() (newground.domain_transformer.DomainTransformer method)

U

update_predicate_in_dependency_graph() (newground.term_transformer.TermTransformer method)

V

visit_Aggregate() (newground.domain_transformer.DomainTransformer method) (newground.term_transformer.TermTransformer method) visit_BodyAggregate() (newground.aggregate_transformer.AggregateTransformer method) visit_BodyAggregateElement() (newground.aggregate_transformer.AggregateTransformer method) visit_Comparison() (newground.main_transformer.MainTransformer method) (newground.term_transformer.TermTransformer method) visit_Function() (newground.aggregate_transformer.AggregateTransformer method) (newground.domain_transformer.DomainTransformer method) (newground.main_transformer.MainTransformer method) (newground.term_transformer.TermTransformer method) visit_HeadAggregateElement() (newground.term_transformer.TermTransformer method) visit_Interval() (newground.term_transformer.TermTransformer method) visit_Literal() (newground.aggregate_transformer.AggregateTransformer method) (newground.main_transformer.MainTransformer method) (newground.term_transformer.TermTransformer method) visit_Minimize() (newground.aggregate_transformer.AggregateTransformer method) (newground.main_transformer.MainTransformer method)

visit_Program() (newground.aggregate_transformer.AggregateTransformer method) (newground.main_transformer.MainTransformer method) (newground.term_transformer.TermTransformer method) visit_Rule() (newground.aggregate_transformer.AggregateTransformer method) (newground.domain_transformer.DomainTransformer method) (newground.main_transformer.MainTransformer method) (newground.term_transformer.TermTransformer method) visit_ShowSignature() (newground.term_transformer.TermTransformer method) visit_SymbolicTerm() (newground.domain_transformer.DomainTransformer method) (newground.main_transformer.MainTransformer method) (newground.term_transformer.TermTransformer method) visit_Variable() (newground.aggregate_transformer.AggregateTransformer method) (newground.domain_transformer.DomainTransformer method) (newground.main_transformer.MainTransformer method) (newground.term_transformer.TermTransformer method)