newground.main_transformer_helpers.level_mappings_part module

Module for generating the level-mappings.

class newground.main_transformer_helpers.level_mappings_part.LevelMappingsPart(custom_printer, domain_lookup_dict, strongly_connected_components_predicates, ground_guess, cyclic_strategy, scc_rule_functions_scc_lookup)

Bases: object

Class for generating the level mappings.

generate_ground_precs(scc, index_1, index_2)

Generate the predecessor-guess rules (prec(p1,p2)|prec(p2,p1) - so p1 is before p2), for grounded predicates.

generate_ground_transitivity(scc, index_1, index_2, index_3)

Generate the transitivity-constraints for the grounded-case.

generate_level_mappings()

Method that generates the level mappings.

generate_non_ground_precs(generated_domains, scc, index_1, index_2)

Generate the guesses for the precs in the non-ground case.

generate_non_ground_transitivity(generated_domains, scc, index_1, index_2, index_3)

Generate the transitivity-constraints for the partly-grounded case.