osupport.c File Reference

Go to the source code of this file.

Typedefs
typedef enum yes_no_maybe_enum	yes_no_maybe
Enumerations
enum	yes_no_maybe_enum { YES, NO, MAYBE }
Functions
list *	collect_root_variables (condition *, tc_number, bool)
void	add_to_os_tc (Symbol *id, bool isa_state)
void	begin_os_tc (preference *rhs_prefs_or_nil)
bool	test_has_id_in_os_tc (test t, Symbol *excluded_sym)
bool	id_or_value_of_condition_list_is_in_os_tc (condition *conds, Symbol *sym_excluded_from_value, Symbol *match_state_to_exclude_test_of_the_operator_off_of)
bool	is_state_id (Symbol *sym, Symbol *match_state)
void	calculate_support_for_instantiation_preferences (instantiation *inst)
void	dougs_calculate_support_for_instantiation_preferences (instantiation *inst)
yes_no_maybe	test_is_for_symbol (test t, Symbol *sym)
list *	find_known_goals (condition *lhs)
Symbol *	find_compile_time_match_goal (condition *lhs, list *known_goals)
Symbol *	find_thing_off_goal (condition *lhs, Symbol *goal, Symbol *attr)
bool	condition_list_has_id_test_for_sym (condition *conds, Symbol *sym)
bool	match_state_tests_non_operator_slot (condition *conds, Symbol *match_state)
void	add_tc_through_lhs_and_rhs (condition *lhs, action *rhs, tc_number tc, list **id_list, list **var_list)
void	calculate_compile_time_o_support (condition *lhs, action *rhs)

---

Typedef Documentation

typedef enum yes_no_maybe_enum yes_no_maybe

Referenced by calculate_compile_time_o_support(), match_state_tests_non_operator_slot(), and test_is_for_symbol().

---

Enumeration Type Documentation

enum yes_no_maybe_enum

Enumeration values: YES  NO  MAYBE  Definition at line 748 of file osupport.c.

---

Function Documentation

void add_tc_through_lhs_and_rhs (  condition *  lhs, action *  rhs, tc_number  tc, list **  id_list, list **  var_list )

Definition at line 1007 of file osupport.c. References action, action_is_in_tc(), add_action_to_tc(), add_cond_to_tc(), action_struct::already_in_tc, condition_struct::already_in_tc, cond_is_in_tc(), condition, list, action_struct::next, condition_struct::next, and tc_number. Referenced by calculate_compile_time_o_support().

void add_to_os_tc (  Symbol *  id, bool  isa_state )

Definition at line 83 of file osupport.c. References preference_struct::all_of_slot_next, slot_struct::all_preferences, preference_struct::attr, slot_struct::attr, preference_struct::id, symbol_union::id, identifier_struct::input_wmes, preference_struct::inst_next, slot_struct::next, wme_struct::next, preference, preference_struct::referent, slot, identifier_struct::slots, Symbol, identifier_struct::tc_num, preference_struct::type, preference_struct::value, wme_struct::value, wme, and slot_struct::wmes.

void begin_os_tc (  preference *  rhs_prefs_or_nil  )

Definition at line 123 of file osupport.c. References get_new_tc_number(), and preference. Referenced by calculate_support_for_instantiation_preferences().

void calculate_compile_time_o_support (  condition *  lhs, action *  rhs )

Definition at line 1049 of file osupport.c. References action, action_is_in_tc(), add_bound_variables_in_test(), add_symbol_to_tc(), add_tc_through_lhs_and_rhs(), action_struct::attr, three_field_tests_struct::attr_test, condition, condition_list_has_id_test_for_sym(), cons, condition_struct::data, find_compile_time_match_goal(), find_known_goals(), find_thing_off_goal(), cons_struct::first, free_list(), get_new_tc_number(), action_struct::id, three_field_tests_struct::id_test, list, match_state_tests_non_operator_slot(), MAYBE, action_struct::next, condition_struct::next, NO, action_struct::preference_type, print(), cons_struct::rest, action_struct::support, Symbol, tc_number, test_is_for_symbol(), condition_struct::condition_main_data_union::tests, action_struct::type, condition_struct::type, action_struct::value, three_field_tests_struct::value_test, YES, and yes_no_maybe. Referenced by make_production().

void calculate_support_for_instantiation_preferences (  instantiation *  inst  )

Definition at line 270 of file osupport.c. References wme_struct::acceptable, action, production_struct::action_list, action_struct::attr, wme_struct::attr, preference_struct::attr, begin_os_tc(), condition_struct::bt, byte, condition, production_struct::declared_support, get_symbol_from_rete_loc(), wme_struct::id, symbol_union::id, action_struct::id, preference_struct::id, id_or_value_of_condition_list_is_in_os_tc(), preference_struct::inst_next, instantiation, is_state_id(), identifier_struct::isa_goal, identifier_struct::level, instantiation_struct::match_goal, production_struct::name, action_struct::next, condition_struct::next, preference_struct::o_supported, preference, action_struct::preference_type, instantiation_struct::preferences_generated, print(), print_with_symbols(), instantiation_struct::prod, instantiation_struct::rete_token, rhs_value_to_string(), Symbol, identifier_struct::tc_num, instantiation_struct::top_of_instantiated_conditions, action_struct::type, condition_struct::type, preference_struct::type, wme_struct::value, preference_struct::value, wme, and bt_info_struct::wme. Referenced by fill_in_new_instantiation_stuff(), and re_fill_in_instantiation_stuff_for_modified_lhs().

list* collect_root_variables (  condition *  , tc_number  , bool  )

Definition at line 582 of file reorder.c. References add_bound_variables_in_test(), condition, cons, condition_struct::data, cons_struct::first, three_field_tests_struct::id_test, list, name_of_production_being_reordered, condition_struct::next, print(), print_with_symbols(), cons_struct::rest, Symbol, tc_number, test_includes_equality_test_for_symbol(), test_includes_goal_or_impasse_id_test(), condition_struct::condition_main_data_union::tests, condition_struct::type, unmark_variables_and_free_list(), and three_field_tests_struct::value_test. Referenced by find_compile_time_match_goal(), reorder_lhs(), and reorder_simplified_conditions().

bool condition_list_has_id_test_for_sym (  condition *  conds, Symbol *  sym )

Definition at line 951 of file osupport.c. References condition, condition_struct::data, three_field_tests_struct::id_test, condition_struct::condition_main_data_union::ncc, condition_struct::next, Symbol, test_includes_equality_test_for_symbol(), condition_struct::condition_main_data_union::tests, ncc_info_struct::top, and condition_struct::type. Referenced by calculate_compile_time_o_support().

void dougs_calculate_support_for_instantiation_preferences (  instantiation *  inst  )

Definition at line 661 of file osupport.c. References wme_struct::attr, preference_struct::attr, condition_struct::bt, condition, get_new_tc_number(), wme_struct::id, preference_struct::id, symbol_union::id, preference_struct::inst_next, instantiation, instantiation_struct::match_goal, condition_struct::next, preference_struct::o_supported, preference, instantiation_struct::preferences_generated, preference_struct::referent, Symbol, identifier_struct::tc_num, instantiation_struct::top_of_instantiated_conditions, condition_struct::type, preference_struct::type, preference_struct::value, wme, and bt_info_struct::wme. Referenced by fill_in_new_instantiation_stuff(), and re_fill_in_instantiation_stuff_for_modified_lhs().

Symbol* find_compile_time_match_goal (  condition *  lhs, list *  known_goals )

Definition at line 838 of file osupport.c. References three_field_tests_struct::attr_test, collect_root_variables(), condition, cons, condition_struct::data, cons_struct::first, free_list(), get_new_tc_number(), three_field_tests_struct::id_test, list, member_of_list(), condition_struct::next, cons_struct::rest, Symbol, tc_number, test_is_for_symbol(), condition_struct::condition_main_data_union::tests, condition_struct::type, three_field_tests_struct::value_test, and YES. Referenced by calculate_compile_time_o_support().

list* find_known_goals (  condition *  lhs  )

Definition at line 809 of file osupport.c. References add_bound_variables_in_test(), condition, condition_struct::data, get_new_tc_number(), three_field_tests_struct::id_test, list, condition_struct::next, tc_number, test_includes_goal_or_impasse_id_test(), condition_struct::condition_main_data_union::tests, and condition_struct::type. Referenced by calculate_compile_time_o_support().

Symbol* find_thing_off_goal (  condition *  lhs, Symbol *  goal, Symbol *  attr )

Definition at line 915 of file osupport.c. References add_bound_variables_in_test(), three_field_tests_struct::attr_test, condition, condition_struct::data, cons_struct::first, free_list(), get_new_tc_number(), three_field_tests_struct::id_test, list, condition_struct::next, Symbol, tc_number, condition_struct::test_for_acceptable_preference, test_is_for_symbol(), condition_struct::condition_main_data_union::tests, condition_struct::type, three_field_tests_struct::value_test, and YES. Referenced by calculate_compile_time_o_support().

bool id_or_value_of_condition_list_is_in_os_tc (  condition *  conds, Symbol *  sym_excluded_from_value, Symbol *  match_state_to_exclude_test_of_the_operator_off_of )

Definition at line 168 of file osupport.c. References three_field_tests_struct::attr_test, condition, condition_struct::data, three_field_tests_struct::id_test, condition_struct::condition_main_data_union::ncc, condition_struct::next, Symbol, test_has_id_in_os_tc(), test_includes_equality_test_for_symbol(), condition_struct::condition_main_data_union::tests, ncc_info_struct::top, condition_struct::type, and three_field_tests_struct::value_test. Referenced by calculate_support_for_instantiation_preferences().

bool is_state_id (  Symbol *  sym, Symbol *  match_state )

Definition at line 210 of file osupport.c. References symbol_union::id, identifier_struct::lower_goal, and Symbol. Referenced by calculate_support_for_instantiation_preferences().

bool match_state_tests_non_operator_slot (  condition *  conds, Symbol *  match_state )

Definition at line 975 of file osupport.c. References three_field_tests_struct::attr_test, condition, condition_struct::data, three_field_tests_struct::id_test, condition_struct::condition_main_data_union::ncc, condition_struct::next, NO, Symbol, test_includes_equality_test_for_symbol(), test_is_for_symbol(), condition_struct::condition_main_data_union::tests, ncc_info_struct::top, condition_struct::type, and yes_no_maybe. Referenced by calculate_compile_time_o_support().

bool test_has_id_in_os_tc (  test  t, Symbol *  excluded_sym )

Definition at line 142 of file osupport.c. References complex_test, complex_test_struct::test_info_union::conjunct_list, cons, complex_test_struct::data, cons_struct::first, symbol_union::id, cons_struct::rest, Symbol, identifier_struct::tc_num, test, and complex_test_struct::type. Referenced by id_or_value_of_condition_list_is_in_os_tc().

yes_no_maybe test_is_for_symbol (  test  t, Symbol *  sym )

Definition at line 750 of file osupport.c. References complex_test, complex_test_struct::test_info_union::conjunct_list, cons, complex_test_struct::data, complex_test_struct::test_info_union::disjunction_list, cons_struct::first, MAYBE, member_of_list(), NO, cons_struct::rest, Symbol, test, complex_test_struct::type, YES, and yes_no_maybe. Referenced by calculate_compile_time_o_support(), find_compile_time_match_goal(), find_thing_off_goal(), and match_state_tests_non_operator_slot().

---