newground.main_transformer_helpers package

Submodules

• newground.main_transformer_helpers.generate_foundedness_part module
  • GenerateFoundednessPart
    • GenerateFoundednessPart.generate_foundedness_part()
• newground.main_transformer_helpers.generate_foundedness_part_comparisons module
  • GenerateFoundednessPartComparisons
    • GenerateFoundednessPartComparisons.generate_foundedness_comparisons()
• newground.main_transformer_helpers.generate_foundedness_part_function module
  • GenerateFoundednessPartFunction
    • GenerateFoundednessPartFunction.generate_foundedness_functions()
• newground.main_transformer_helpers.generate_satisfiability_part module
  • GenerateSatisfiabilityPart
    • GenerateSatisfiabilityPart.generate_sat_part()
• newground.main_transformer_helpers.guess_head_part module
  • GuessHeadPart
    • GuessHeadPart.do_ground_guess()
    • GuessHeadPart.guess_head()
• newground.main_transformer_helpers.helper_part module
  • HelperPart
    • HelperPart.add_atom_to_unfoundedness_check()
    • HelperPart.generate_head_atom()
    • HelperPart.get_domain_values_from_rule_variable()
    • HelperPart.get_vars_needed()
    • HelperPart.ignore_exception()
• newground.main_transformer_helpers.level_mappings_part module
  • LevelMappingsPart
    • LevelMappingsPart.generate_ground_precs()
    • LevelMappingsPart.generate_ground_transitivity()
    • LevelMappingsPart.generate_level_mappings()
    • LevelMappingsPart.generate_non_ground_precs()
    • LevelMappingsPart.generate_non_ground_transitivity()

Module contents

Newground helper module