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 | |