newground package

Subpackages

• newground.aggregate_strategies package
  • Submodules
    • newground.aggregate_strategies.aggregate_mode module
      • AggregateMode
    • newground.aggregate_strategies.count_aggregate_helper module
      • CountAggregateHelper
    • newground.aggregate_strategies.recursive_mode module
      • RecursiveAggregateRewriting
    • newground.aggregate_strategies.replace_aggregate_strategy module
      • ReplaceAggregateStrategy
    • newground.aggregate_strategies.rewriting_aggregate_strategy module
      • RSRewriting
    • newground.aggregate_strategies.rewriting_count_helper module
      • RewritingCountHelper
    • newground.aggregate_strategies.rewriting_count_sum module
      • RewritingCountSum
    • newground.aggregate_strategies.rewriting_min_max module
      • RewritingMinMax
    • newground.aggregate_strategies.rewriting_sum_helper module
      • RewritingSumHelper
    • newground.aggregate_strategies.rm_case module
      • RMCase
    • newground.aggregate_strategies.rs_helper module
      • RSHelper
    • newground.aggregate_strategies.rs_plus_star_helper module
      • RSPlusStarHelper
    • newground.aggregate_strategies.sum_aggregate_helper module
      • SumAggregateHelper
  • Module contents
• newground.main_transformer_helpers package
  • Submodules
    • newground.main_transformer_helpers.generate_foundedness_part module
      • GenerateFoundednessPart
    • newground.main_transformer_helpers.generate_foundedness_part_comparisons module
      • GenerateFoundednessPartComparisons
    • newground.main_transformer_helpers.generate_foundedness_part_function module
      • GenerateFoundednessPartFunction
    • newground.main_transformer_helpers.generate_satisfiability_part module
      • GenerateSatisfiabilityPart
    • newground.main_transformer_helpers.guess_head_part module
      • GuessHeadPart
    • newground.main_transformer_helpers.helper_part module
      • HelperPart
    • newground.main_transformer_helpers.level_mappings_part module
      • LevelMappingsPart
  • Module contents

Submodules

• newground.aggregate_transformer module
  • AggregateTransformer
    • AggregateTransformer.for_each_aggregate_condition()
    • AggregateTransformer.visit_BodyAggregate()
    • AggregateTransformer.visit_BodyAggregateElement()
    • AggregateTransformer.visit_Function()
    • AggregateTransformer.visit_Literal()
    • AggregateTransformer.visit_Minimize()
    • AggregateTransformer.visit_Program()
    • AggregateTransformer.visit_Rule()
    • AggregateTransformer.visit_Variable()
• newground.comparison_tools module
  • ComparisonTools
    • ComparisonTools.aggregate_count_special_variable_getter()
    • ComparisonTools.apply_binary_operation()
    • ComparisonTools.apply_unary_operation()
    • ComparisonTools.compare_terms()
    • ComparisonTools.comparison_handlings()
    • ComparisonTools.evaluate_binary_operation()
    • ComparisonTools.evaluate_operation()
    • ComparisonTools.generate_binary_operator_domain()
    • ComparisonTools.generate_domain()
    • ComparisonTools.generate_unary_operator_domain()
    • ComparisonTools.get_arguments_from_operation()
    • ComparisonTools.get_comp_operator()
    • ComparisonTools.instantiate_operation()
• newground.cyclic_strategy module
  • CyclicStrategy
    • CyclicStrategy.ASSUME_TIGHT
    • CyclicStrategy.LEVEL_MAPPING
    • CyclicStrategy.LEVEL_MAPPING_AAAI
    • CyclicStrategy.SHARED_CYCLE_BODY_PREDICATES
• newground.default_output_printer module
  • DefaultOutputPrinter
    • DefaultOutputPrinter.custom_print()
• newground.domain_transformer module
  • DomainTransformer
    • DomainTransformer.remove_unnecessary_safe_positions()
    • DomainTransformer.try_upper_boun_left_side()
    • DomainTransformer.try_upper_bound_domain()
    • DomainTransformer.try_upper_bound_right_side()
    • DomainTransformer.visit_Aggregate()
    • DomainTransformer.visit_Function()
    • DomainTransformer.visit_Rule()
    • DomainTransformer.visit_SymbolicTerm()
    • DomainTransformer.visit_Variable()
• newground.grounding_modes module
  • GroundingModes
    • GroundingModes.REWRITE_AGGREGATES_GROUND_FULLY
    • GroundingModes.REWRITE_AGGREGATES_GROUND_PARTLY
    • GroundingModes.REWRITE_AGGREGATES_NO_GROUND
• newground.main_transformer module
  • MainTransformer
    • MainTransformer.handle_ground_rule()
    • MainTransformer.handle_no_rewrite_rule()
    • MainTransformer.handle_non_ground_rule()
    • MainTransformer.visit_Comparison()
    • MainTransformer.visit_Function()
    • MainTransformer.visit_Literal()
    • MainTransformer.visit_Minimize()
    • MainTransformer.visit_Program()
    • MainTransformer.visit_Rule()
    • MainTransformer.visit_SymbolicTerm()
    • MainTransformer.visit_Variable()
• newground.newground module
  • Newground
    • Newground.compute_scc_data_structures()
    • Newground.global_main_transformations()
    • Newground.handle_strongly_connected_component()
    • Newground.scc_extract_relevant_bodies()
    • Newground.scc_extract_relevant_heads()
    • Newground.start()
    • Newground.start_aggregate_transformer()
    • Newground.start_domain_inference()
    • Newground.start_main_transformation()
• newground.term_transformer module
  • TermTransformer
    • TermTransformer.add_predicate_name_to_dependency_graph()
    • TermTransformer.dependency_graph_update()
    • TermTransformer.update_predicate_in_dependency_graph()
    • TermTransformer.visit_Aggregate()
    • TermTransformer.visit_Comparison()
    • TermTransformer.visit_Function()
    • TermTransformer.visit_HeadAggregateElement()
    • TermTransformer.visit_Interval()
    • TermTransformer.visit_Literal()
    • TermTransformer.visit_Program()
    • TermTransformer.visit_Rule()
    • TermTransformer.visit_ShowSignature()
    • TermTransformer.visit_SymbolicTerm()
    • TermTransformer.visit_Variable()

Module contents

Main Entry Point into the prototype. Parses arguments and calls Newground class.

newground.main()

Main Entry Point into the prototype. Parses arguments and calls Newground class.