newground.main_transformer_helpers.guess_head_part module

Module for guessing the head part.

class newground.main_transformer_helpers.guess_head_part.GuessHeadPart(rule_head, current_rule_position, custom_printer, domain_lookup_dict, safe_variables_rules, rule_variables, rule_comparisons, rule_literals, rule_literals_signums, current_rule, strongly_connected_components, ground_guess, unfounded_rules, cyclic_strategy, predicates_strongly_connected_comps, scc_rule_functions_scc_lookup, rule_variables_predicates)

Bases: object

Class for guessing the head part.

do_ground_guess(new_head_name)

Method for doing a ground guess.

guess_head()

Method for guessing the head part.