newground.main_transformer_helpers.generate_foundedness_part_function module

Module for foundedness-function, i.e., it deals with the foundedness of rules like: of e.g., ‘’b(X)’’ in the rule ‘’a(X) :- b(X), X > 2.’’

class newground.main_transformer_helpers.generate_foundedness_part_function.GenerateFoundednessPartFunction(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 foundedness-function, i.e., it deals with the foundedness of rules like: of e.g., ‘’b(X)’’ in the rule ‘’a(X) :- b(X), X > 2.’’

generate_foundedness_functions(head, rem, h_vars, h_args, g, covered_subsets)

Starting method for foundedness-function, i.e., it deals with the foundedness of rules like: of e.g., ‘’b(X)’’ in the rule ‘’a(X) :- b(X), X > 2.’’