consistency.c File Reference

Go to the source code of this file.

Functions
void	remove_wmes_for_context_slot (slot *s)
void	remove_existing_context_and_descendents (Symbol *goal)
byte	type_of_existing_impasse (Symbol *goal)
Symbol *	attribute_of_existing_impasse (Symbol *goal)
byte	run_preference_semantics_for_consistency_check (slot *s, preference **result_candidates)
void	remove_operator_if_necessary (slot *s, wme *w)
bool	decision_consistent_with_current_preferences (Symbol *goal, slot *s)
void	remove_current_decision (slot *s)
bool	check_context_slot_decisions (goal_stack_level level)
void	print_assertion (ms_change *msc)
void	print_retraction (ms_change *msc)
void	initialize_consistency_calculations_for_new_decision ()
void	determine_highest_active_production_level_in_stack_apply ()
void	determine_highest_active_production_level_in_stack_propose ()
bool	goal_stack_consistent_through_goal (Symbol *goal)
bool	i_activity_at_goal (Symbol *goal)
bool	minor_quiescence_at_goal (Symbol *goal)
int	active_production_type_at_goal (Symbol *goal)
Symbol *	highest_active_goal_propose ()
Symbol *	highest_active_goal_apply ()

---

Function Documentation

int active_production_type_at_goal (  Symbol *  goal  )

Definition at line 584 of file consistency.c. References i_activity_at_goal(), and Symbol. Referenced by determine_highest_active_production_level_in_stack_apply().

Symbol* attribute_of_existing_impasse (  Symbol *  goal  )

Referenced by decision_consistent_with_current_preferences(), and run_preference_semantics().

bool check_context_slot_decisions (  goal_stack_level  level  )

Definition at line 392 of file consistency.c. References slot_struct::changed, decision_consistent_with_current_preferences(), goal_stack_level, symbol_union::id, identifier_struct::level, identifier_struct::lower_goal, identifier_struct::operator_slot, print(), print_with_symbols(), remove_current_decision(), slot, Symbol, and slot_struct::wmes. Referenced by goal_stack_consistent_through_goal().

bool decision_consistent_with_current_preferences (  Symbol *  goal, slot *  s )

Definition at line 174 of file consistency.c. References slot_struct::attr, attribute_of_existing_impasse(), byte, symbol_union::id, slot_struct::id, slot_struct::impasse_id, slot_struct::impasse_type, slot_struct::isa_context_slot, identifier_struct::isa_impasse, identifier_struct::lower_goal, preference_struct::next, preference_struct::next_candidate, identifier_struct::operator_slot, preference, print(), print_preference(), print_with_symbols(), print_wme(), run_preference_semantics_for_consistency_check(), slot, Symbol, type_of_existing_impasse(), preference_struct::value, wme_struct::value, wme, and slot_struct::wmes. Referenced by check_context_slot_decisions().

void determine_highest_active_production_level_in_stack_apply (   )

Definition at line 668 of file consistency.c. References active_production_type_at_goal(), any_assertions_or_retractions_ready(), DETERMINE_LEVEL_PHASE, goal_stack_consistent_through_goal(), highest_active_goal_apply(), symbol_union::id, minor_quiescence_at_goal(), OUTPUT_PHASE, PREFERENCE_PHASE, print(), identifier_struct::saved_firing_type, and Symbol. Referenced by do_one_top_level_phase().

void determine_highest_active_production_level_in_stack_propose (   )

Definition at line 885 of file consistency.c. References DECISION_PHASE, goal_stack_consistent_through_goal(), highest_active_goal_propose(), symbol_union::id, PREFERENCE_PHASE, print(), identifier_struct::saved_firing_type, and Symbol. Referenced by do_one_top_level_phase().

bool goal_stack_consistent_through_goal (  Symbol *  goal  )

Definition at line 595 of file consistency.c. References check_context_slot_decisions(), symbol_union::id, identifier_struct::level, print(), print_with_symbols(), start_timer(), stop_timer(), Symbol, and test. Referenced by determine_highest_active_production_level_in_stack_apply(), and determine_highest_active_production_level_in_stack_propose().

Symbol * highest_active_goal_apply (   )

Definition at line 530 of file consistency.c. References abort_with_fatal_error(), symbol_union::id, identifier_struct::lower_goal, identifier_struct::ms_i_assertions, identifier_struct::ms_o_assertions, identifier_struct::ms_retractions, print(), print_assertion(), print_retraction(), and Symbol. Referenced by determine_highest_active_production_level_in_stack_apply().

Symbol * highest_active_goal_propose (   )

Definition at line 489 of file consistency.c. References abort_with_fatal_error(), symbol_union::id, identifier_struct::lower_goal, identifier_struct::ms_i_assertions, identifier_struct::ms_retractions, print(), print_assertion(), print_retraction(), and Symbol. Referenced by determine_highest_active_production_level_in_stack_propose().

bool i_activity_at_goal (  Symbol *  goal  )

Definition at line 448 of file consistency.c. References symbol_union::id, identifier_struct::ms_i_assertions, identifier_struct::ms_retractions, and Symbol. Referenced by active_production_type_at_goal(), and minor_quiescence_at_goal().

void initialize_consistency_calculations_for_new_decision (   )

Definition at line 636 of file consistency.c. References symbol_union::id, identifier_struct::lower_goal, print(), identifier_struct::saved_firing_type, and Symbol. Referenced by do_one_top_level_phase().

bool minor_quiescence_at_goal (  Symbol *  goal  )

Definition at line 469 of file consistency.c. References i_activity_at_goal(), and Symbol. Referenced by determine_highest_active_production_level_in_stack_apply().

void print_assertion (  ms_change *  msc  )

Definition at line 803 of file rete.c. References rete_node_struct::b, ms_change, production_struct::name, rete_node_struct::rete_node_b_union::p, ms_change_struct::p_node, print(), print_with_symbols(), and p_node_data_struct::prod. Referenced by highest_active_goal_apply(), and highest_active_goal_propose().

void print_retraction (  ms_change *  msc  )

Definition at line 812 of file rete.c. References rete_node_struct::b, ms_change, production_struct::name, rete_node_struct::rete_node_b_union::p, ms_change_struct::p_node, print(), print_with_symbols(), and p_node_data_struct::prod. Referenced by highest_active_goal_apply(), and highest_active_goal_propose().

void remove_current_decision (  slot *  s  )

Definition at line 357 of file consistency.c. References slot_struct::attr, do_buffered_wm_and_ownership_changes(), symbol_union::id, slot_struct::id, identifier_struct::lower_goal, print_with_symbols(), remove_existing_context_and_descendents(), remove_wmes_for_context_slot(), slot, and slot_struct::wmes. Referenced by check_context_slot_decisions().

void remove_existing_context_and_descendents (  Symbol *  goal  )

Referenced by remove_current_decision(), remove_operator_if_necessary(), and run_preference_semantics().

void remove_operator_if_necessary (  slot *  s, wme *  w )

Definition at line 96 of file consistency.c. References symbol_union::id, slot_struct::id, identifier_struct::lower_goal, print(), print_wme(), remove_existing_context_and_descendents(), remove_wmes_for_context_slot(), slot, start_timer(), stop_timer(), wme_struct::value, wme, and slot_struct::wmes.

void remove_wmes_for_context_slot (  slot *  s  )

Referenced by remove_current_decision(), remove_operator_if_necessary(), and run_preference_semantics().

byte run_preference_semantics_for_consistency_check (  slot *  s, preference **  result_candidates )

Referenced by decision_consistent_with_current_preferences(), and run_preference_semantics().

byte type_of_existing_impasse (  Symbol *  goal  )

Referenced by decision_consistent_with_current_preferences(), generate_chunk_name_sym_constant(), and run_preference_semantics().

---