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.