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.