newground.main_transformer_helpers.generate_foundedness_part module

Module for ensuring foundedness.

class newground.main_transformer_helpers.generate_foundedness_part.GenerateFoundednessPart(rule_head, current_rule_position, custom_printer, domain_lookup_dict, safe_variables_rules, rule_variables, rule_comparisons, rule_predicate_functions, rule_literals_signums, current_rule, strongly_connected_components, ground_guess, unfounded_rules, cyclic_strategy, strongly_connected_components_heads, program_rules, additional_unfounded_rules, rule_variables_predicates)

Bases: object

Class for ensuring foundedness.

generate_foundedness_part()

Method which generates the foundedness part.