newground package
Subpackages
- newground.aggregate_strategies package
- Submodules
- 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
- Module contents
- Submodules
- newground.main_transformer_helpers package
- Submodules
- 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
- Module contents
- Submodules
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
- newground.default_output_printer module
- 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
- 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.