add_to_set(c_rule *rule) | compmod | [private] |
all_rules | compmod | [private] |
ans_a | compmod | [private] |
ans_a_pick_strategy | compmod | [private] |
ans_b | compmod | [private] |
ans_b_pick_strategy | compmod | [private] |
answer_extension | compmod | [private] |
calls | compmod | [private] |
calls_pick_strategy | compmod | [private] |
change_constraint_conjunction(const c_rule *original, const con_type &addition) | compmod | [private] |
change_constraint_conjunction_answer(const c_rule *original, const con_type &addition) | compmod | [private] |
change_constraint_conjunction_call(const c_rule *original, const con_type &addition) | compmod | [private] |
change_constraint_disjunction(const c_rule *original, const con_type &addition) | compmod | [private] |
change_constraint_disjunction_answer(const c_rule *original, const con_type &addition) | compmod | [private] |
change_constraint_disjunction_call(const c_rule *original, const con_type &addition) | compmod | [private] |
compmod(c_rule *rule) | compmod | |
deep_delete() | compmod | |
extend_by_answer_alternative() | compmod | [private] |
extend_by_answer_bound() | compmod | [private] |
extend_by_call() | compmod | [private] |
extend_by_first_answer(const c_rule *rule, const con_type &answer, const unifier *mgu) | compmod | [private] |
extend_set() | compmod | |
fatal_error() const | compmod | [private] |
finalise() | compmod | |
get_answer(const c_term *t, con_type &answer, unifier &mgu) const | compmod | [private] |
get_calls(const c_term *t, vector< const c_rule * > &calls) const | compmod | [private] |
get_next_answer_alternative() const | compmod | [private] |
get_next_answer_bound() const | compmod | [private] |
get_next_call() const | compmod | [private] |
get_next_entry(const set< entry > &s, compmod::strategy pick_strategy) const | compmod | [private] |
get_strategy(const string &name) | compmod | [static] |
ob_ans_a | compmod | [private] |
ob_ans_b | compmod | [private] |
ob_calls | compmod | [private] |
operator<<(ostream &os, const compmod &c) | compmod | [friend] |
percent_local_extensions | compmod | [private] |
pick_strategy | compmod | [private] |
possibles_strategy | compmod | [private] |
report_answer(const c_term *ans_head) const | compmod | |
set_ans_a_pick_strategy(const strategy &s) | compmod | |
set_ans_b_pick_strategy(const strategy &s) | compmod | |
set_calls_pick_strategy(const strategy &s) | compmod | |
set_local_ebc_percentage(size_t p) | compmod | |
set_pick_strategy(const string &s) | compmod | |
set_possibles_strategy(const strategy &s) | compmod | |
strategy enum name | compmod | |
STRATEGY_FIRST enum value | compmod | |
STRATEGY_LAST enum value | compmod | |
STRATEGY_RANDOM enum value | compmod | |
used_ebc | compmod | [private] |