recmem.c File Reference

Go to the source code of this file.

Functions
void	remove_top_level_justifications (instantiation *inst)
void	build_prohibits_list (instantiation *inst)
preference *	find_clone_for_level (preference *p, goal_stack_level level)
void	find_match_goal (instantiation *inst)
Symbol *	instantiate_rhs_value (rhs_value rv, goal_stack_level new_id_level, char new_id_letter, struct token_struct *tok, wme *w)
preference *	execute_action (action *a, struct token_struct *tok, wme *w)
void	fill_in_new_instantiation_stuff (instantiation *inst, bool need_to_do_support_calculations)
void	init_firer (void)
void	create_instantiation (production *prod, struct token_struct *tok, wme *w)
void	deallocate_instantiation (instantiation *inst)
void	retract_instantiation (instantiation *inst)
Variables
long	firer_highest_rhs_unboundvar_index

---

Function Documentation

void build_prohibits_list (  instantiation *  inst  )

Definition at line 85 of file recmem.c. References condition_struct::bt, condition, find_clone_for_level(), preference_struct::in_tm, preference_struct::inst, instantiation, instantiation_struct::match_goal_level, condition_struct::next, preference_struct::next, preference, slot_struct::preferences, bt_info_struct::prohibits, preference_struct::slot, instantiation_struct::top_of_instantiated_conditions, bt_info_struct::trace, and condition_struct::type. Referenced by create_instantiation().

void create_instantiation (  production *  prod, struct token_struct *  tok, wme *  w )

Definition at line 601 of file recmem.c. References action, production_struct::action_list, instantiation_struct::bottom_of_instantiated_conditions, condition_struct::bt, build_prohibits_list(), chunk_instantiation(), condition, cons, production_struct::declared_support, execute_action(), fill_in_new_instantiation_stuff(), firer_highest_rhs_unboundvar_index, FIRING_CALLBACK, production_struct::firing_count, cons_struct::first, instantiation_struct::GDS_evaluated_already, get_printer_output_column(), symbol_union::id, wme_struct::id, instantiation_struct::in_ms, preference_struct::inst, preference_struct::inst_next, instantiation, identifier_struct::level, bt_info_struct::level, production_struct::name, action_struct::next, condition_struct::next, instantiation_struct::next, instantiation_struct::nots, preference_struct::o_supported, instantiation_struct::okay_to_variablize, production_struct::p_node, p_node_to_conditions_and_nots(), wme_struct::preference, preference, instantiation_struct::preferences_generated, print(), print_instantiation_with_wmes(), print_preference(), print_with_symbols(), instantiation_struct::prod, production, cons_struct::rest, instantiation_struct::rete_token, instantiation_struct::rete_wme, production_struct::rhs_unbound_variables, soar_agent, soar_call_data, soar_invoke_callbacks(), action_struct::support, Symbol, instantiation_struct::top_of_instantiated_conditions, bt_info_struct::trace, condition_struct::type, production_struct::type, bt_info_struct::wme, wme, and wme_trace_type. Referenced by retract_instantiation().

void deallocate_instantiation (  instantiation *  inst  )

Definition at line 789 of file recmem.c. References condition_struct::bt, condition, deallocate_condition_list(), deallocate_list_of_nots(), free_list(), goal_stack_level, instantiation, instantiation_struct::isa_ssci_inst, list, instantiation_struct::match_goal_level, production_struct::name, condition_struct::next, instantiation_struct::nots, preference, print(), print_with_symbols(), instantiation_struct::prod, bt_info_struct::prohibits, production_struct::reference_count, instantiation_struct::top_of_instantiated_conditions, bt_info_struct::trace, condition_struct::type, and bt_info_struct::wme.

preference* execute_action (  action *  a, struct token_struct *  tok, wme *  w )

Definition at line 317 of file recmem.c. References action, action_struct::attr, first_letter_from_symbol(), symbol_union::id, action_struct::id, instantiate_rhs_value(), identifier_struct::isa_goal, identifier_struct::level, make_preference(), preference, action_struct::preference_type, print_with_symbols(), action_struct::referent, Symbol, action_struct::type, action_struct::value, and wme. Referenced by create_instantiation().

void fill_in_new_instantiation_stuff (  instantiation *  inst, bool  need_to_do_support_calculations )

Definition at line 414 of file recmem.c. References instantiation_struct::backtrace_number, condition_struct::bt, calculate_support_for_instantiation_preferences(), condition, cons, production_struct::declared_support, destructively_reverse_list(), dougs_calculate_support_for_instantiation_preferences(), find_clone_for_level(), find_match_goal(), cons_struct::first, goal_stack_level, symbol_union::id, preference_struct::inst, preference_struct::inst_next, instantiation, list, preference_struct::match_goal, instantiation_struct::match_goal, instantiation_struct::match_goal_level, preference_struct::match_goal_level, production_struct::name, condition_struct::next, preference_struct::o_supported, preference_struct::on_goal_list, preference, identifier_struct::preferences_from_goal, instantiation_struct::preferences_generated, print_with_symbols(), instantiation_struct::prod, cons_struct::rest, instantiation_struct::top_of_instantiated_conditions, bt_info_struct::trace, condition_struct::type, and bt_info_struct::wme. Referenced by chunk_instantiation(), and create_instantiation().

preference* find_clone_for_level (  preference *  p, goal_stack_level  level )

Definition at line 126 of file recmem.c. References goal_stack_level, preference_struct::inst, preference_struct::match_goal_level, instantiation_struct::match_goal_level, preference_struct::next_clone, preference, and preference_struct::prev_clone. Referenced by build_prohibits_list(), deallocate_inst_members_to_be_rewritten(), fill_in_new_instantiation_stuff(), re_fill_in_instantiation_stuff_for_modified_lhs(), trace_locals(), and trace_ungrounded_potentials().

void find_match_goal (  instantiation *  inst  )

Definition at line 184 of file recmem.c. References condition_struct::bt, condition, goal_stack_level, symbol_union::id, wme_struct::id, instantiation, identifier_struct::isa_goal, bt_info_struct::level, instantiation_struct::match_goal, instantiation_struct::match_goal_level, condition_struct::next, Symbol, instantiation_struct::top_of_instantiated_conditions, condition_struct::type, and bt_info_struct::wme. Referenced by fill_in_new_instantiation_stuff(), and re_fill_in_instantiation_stuff_for_modified_lhs().

void init_firer (  void   )

Definition at line 576 of file recmem.c. References init_memory_pool(), and instantiation. Referenced by init_soar_agent().

Symbol* instantiate_rhs_value (  rhs_value  rv, goal_stack_level  new_id_level, char  new_id_letter, struct token_struct *  tok, wme *  w )

Definition at line 232 of file recmem.c. References byte, cons, rhs_function_struct::f, firer_highest_rhs_unboundvar_index, cons_struct::first, free_list(), get_symbol_from_rete_loc(), goal_stack_level, list, make_new_identifier(), variable_struct::name, cons_struct::rest, rhs_function, rhs_value, Symbol, symbol_union::var, and wme. Referenced by execute_action().

void remove_top_level_justifications (  instantiation *  inst  )

Referenced by retract_instantiation().

void retract_instantiation (  instantiation *  inst  )

Definition at line 866 of file recmem.c. References add_preference_to_tm(), preference_struct::all_of_slot_next, slot_struct::all_preferences, preference_struct::attr, create_instantiation(), do_preference_phase(), excise_production(), find_slot(), get_next_assertion(), get_next_nil_goal_retraction(), get_next_retraction(), get_printer_output_column(), preference_struct::id, instantiation_struct::in_ms, preference_struct::in_tm, preference_struct::inst, preference_struct::inst_next, instantiation, production_struct::instantiations, instantiation_struct::isa_ssci_inst, preference_struct::match_goal_level, instantiation_struct::match_goal_level, production_struct::name, preference_struct::next, instantiation_struct::next, preference_struct::next_clone, preference_struct::o_supported, preference, slot_struct::preferences, instantiation_struct::preferences_generated, preference_struct::prev_clone, print(), print_instantiation_with_wmes(), print_preference(), print_with_symbols(), process_o_rejects_and_deallocate_them(), instantiation_struct::prod, sym_constant_struct::production, production, production_struct::reference_count, remove_preference_from_tm(), remove_top_level_justifications(), RETRACTION_CALLBACK, symbol_union::sc, preference_struct::slot, slot, soar_agent, soar_call_data, soar_invoke_callbacks(), preference_struct::type, production_struct::type, preference_struct::value, wme, and wme_trace_type.

---

Variable Documentation

long firer_highest_rhs_unboundvar_index

Definition at line 230 of file recmem.c. Referenced by create_instantiation(), and instantiate_rhs_value().

---