newground.main_transformer_helpers.generate_foundedness_part_comparisons module

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

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

generate_foundedness_comparisons(head, rem, h_vars, h_args, graph)

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