backtrace.c File Reference

Go to the source code of this file.

Functions
void	print_consed_list_of_conditions (list *c, int indent)
void	print_consed_list_of_condition_wmes (list *c, int indent)
void	backtrace_through_instantiation (instantiation *inst, goal_stack_level grounds_level, condition *trace_cond, int indent)
void	trace_locals (goal_stack_level grounds_level)
void	trace_grounded_potentials (void)
bool	trace_ungrounded_potentials (goal_stack_level grounds_level)

---

Function Documentation

void backtrace_through_instantiation (  instantiation *  inst, goal_stack_level  grounds_level, condition *  trace_cond, int  indent )

Definition at line 162 of file backtrace.c. References add_to_chunk_cond_set(), instantiation_struct::backtrace_number, backtrace_str, condition_struct::bt, condition, condition_struct::data, explain_add_temp_to_backtrace_list(), free_list(), get_new_tc_number(), goal_stack_level, backtrace_struct::grounds, symbol_union::id, three_field_tests_struct::id_test, instantiation, identifier_struct::isa_goal, bt_info_struct::level, list, backtrace_struct::locals, make_chunk_cond_for_condition(), production_struct::name, sym_constant_struct::name, backtrace_struct::negated, condition_struct::next, not_struct::next, backtrace_struct::next_backtrace, not, instantiation_struct::nots, instantiation_struct::okay_to_variablize, backtrace_struct::potentials, print(), print_consed_list_of_condition_wmes(), print_consed_list_of_conditions(), print_spaces(), print_string(), print_with_symbols(), instantiation_struct::prod, backtrace_struct::prod_name, backtrace_struct::result, not_struct::s1, not_struct::s2, symbol_union::sc, Symbol, identifier_struct::tc_num, tc_number, condition_struct::condition_main_data_union::tests, instantiation_struct::top_of_instantiated_conditions, backtrace_struct::trace_cond, condition_struct::type, and three_field_tests_struct::value_test. Referenced by chunk_instantiation(), second_stage_chunk_instantiation(), trace_locals(), and trace_ungrounded_potentials().

void print_consed_list_of_condition_wmes (  list *  c, int  indent )

Definition at line 145 of file backtrace.c. References condition, cons_struct::first, get_printer_output_column(), list, print(), print_spaces(), print_wme(), and cons_struct::rest. Referenced by backtrace_through_instantiation().

void print_consed_list_of_conditions (  list *  c, int  indent )

Definition at line 132 of file backtrace.c. References cons_struct::first, get_printer_output_column(), list, print(), print_condition(), print_spaces(), and cons_struct::rest. Referenced by backtrace_through_instantiation().

void trace_grounded_potentials (  void   )

Definition at line 543 of file backtrace.c. References add_cond_to_tc(), condition_struct::bt, cond_is_in_tc(), condition, cons, cons_struct::first, get_new_tc_number(), wme_struct::grounds_tc, print_string(), print_wme(), cons_struct::rest, tc_number, and bt_info_struct::wme. Referenced by chunk_instantiation(), and second_stage_chunk_instantiation().

void trace_locals (  goal_stack_level  grounds_level  )

Definition at line 426 of file backtrace.c. References three_field_tests_struct::attr_test, backtrace_through_instantiation(), condition_struct::bt, condition, cons, condition_struct::data, find_clone_for_level(), cons_struct::first, goal_stack_level, three_field_tests_struct::id_test, preference_struct::inst, preference, print_preference(), print_string(), print_wme(), bt_info_struct::prohibits, cons_struct::rest, condition_struct::test_for_acceptable_preference, condition_struct::condition_main_data_union::tests, bt_info_struct::trace, three_field_tests_struct::value_test, and bt_info_struct::wme. Referenced by chunk_instantiation(), and second_stage_chunk_instantiation().

bool trace_ungrounded_potentials (  goal_stack_level  grounds_level  )

Definition at line 608 of file backtrace.c. References backtrace_through_instantiation(), condition_struct::bt, condition, cons, find_clone_for_level(), cons_struct::first, goal_stack_level, preference_struct::inst, preference, print_preference(), print_string(), print_wme(), bt_info_struct::prohibits, cons_struct::rest, bt_info_struct::trace, and bt_info_struct::wme. Referenced by chunk_instantiation(), and second_stage_chunk_instantiation().

---