| add_to_set(c_rule *rule) | compmod | [private] |
| all_rules | compmod | |
| ans_a | compmod | |
| ans_a_pick_strategy | compmod | |
| ans_b | compmod | |
| ans_b_pick_strategy | compmod | |
| answer_extension | compmod | |
| calls | compmod | |
| calls_pick_strategy | compmod | |
| change_constraint_conjunction(const c_rule *original, con_type addition) | compmod | [private] |
| change_constraint_conjunction_answer(const c_rule *original, con_type addition) | compmod | [private] |
| change_constraint_conjunction_call(const c_rule *original, con_type addition) | compmod | [private] |
| change_constraint_disjunction(const c_rule *original, con_type addition) | compmod | [private] |
| change_constraint_disjunction_answer(const c_rule *original, con_type addition) | compmod | [private] |
| change_constraint_disjunction_call(const c_rule *original, con_type addition) | compmod | [private] |
| compmod(c_rule *rule, std::string &random_seed) | compmod | |
| deep_delete() | compmod | [private] |
| 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, std::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 std::set< entry > &s, compmod::strategy pick_strategy) const | compmod | [private] |
| get_strategy(const std::string &name) | compmod | [static] |
| ob_ans_a | compmod | |
| ob_ans_b | compmod | |
| ob_calls | compmod | |
| operator<<(std::ostream &os, const compmod &c) | compmod | [friend] |
| percent_local_extensions | compmod | |
| pick_strategy | compmod | |
| possibles_strategy | compmod | |
| 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 std::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 | |