_choice_state | opencog::PatternMatchEngine | private |
_classserver | opencog::PatternMatchEngine | private |
_clause_stack_depth | opencog::PatternMatchEngine | private |
_need_choice_push | opencog::PatternMatchEngine | private |
_pat | opencog::PatternMatchEngine | private |
_perm_state | opencog::PatternMatchEngine | private |
_pmc | opencog::PatternMatchEngine | private |
_stack_pattern | opencog::PatternMatchEngine | private |
_stack_variables | opencog::PatternMatchEngine | private |
_varlist | opencog::PatternMatchEngine | private |
CALL_CHOICE enum value | opencog::PatternMatchEngine | private |
CALL_COMP enum value | opencog::PatternMatchEngine | private |
CALL_ORDER enum value | opencog::PatternMatchEngine | private |
CALL_QUOTE enum value | opencog::PatternMatchEngine | private |
CALL_SOLN enum value | opencog::PatternMatchEngine | private |
CALL_UNORDER enum value | opencog::PatternMatchEngine | private |
Caller enum name | opencog::PatternMatchEngine | private |
Choice typedef | opencog::PatternMatchEngine | private |
choice_compare(const PatternTermPtr &, const Handle &, const LinkPtr &, const LinkPtr &) | opencog::PatternMatchEngine | private |
choice_stack | opencog::PatternMatchEngine | private |
ChoiceState typedef | opencog::PatternMatchEngine | private |
choose_next | opencog::PatternMatchEngine | private |
clause_accept(const Handle &, const Handle &) | opencog::PatternMatchEngine | private |
clause_accepted | opencog::PatternMatchEngine | private |
clause_grounding | opencog::PatternMatchEngine | private |
clause_stacks_clear(void) | opencog::PatternMatchEngine | private |
clause_stacks_pop(void) | opencog::PatternMatchEngine | private |
clause_stacks_push(void) | opencog::PatternMatchEngine | private |
clear_current_state(void) | opencog::PatternMatchEngine | private |
curr_choice(const PatternTermPtr &, const Handle &, bool &) | opencog::PatternMatchEngine | private |
curr_perm(const PatternTermPtr &, const Handle &, bool &) | opencog::PatternMatchEngine | private |
depth | opencog::PatternMatchEngine | private |
do_next_clause(void) | opencog::PatternMatchEngine | private |
do_term_up(const PatternTermPtr &, const Handle &, const Handle &) | opencog::PatternMatchEngine | private |
explore_choice_branches(const PatternTermPtr &, const Handle &, const Handle &) | opencog::PatternMatchEngine | private |
explore_clause(const Handle &, const Handle &, const Handle &) | opencog::PatternMatchEngine | private |
explore_link_branches(const PatternTermPtr &, const Handle &, const Handle &) | opencog::PatternMatchEngine | private |
explore_neighborhood(const Handle &, const Handle &, const Handle &) | opencog::PatternMatchEngine | |
explore_redex(const Handle &, const Handle &, const Handle &) | opencog::PatternMatchEngine | private |
explore_single_branch(const PatternTermPtr &, const Handle &, const Handle &) | opencog::PatternMatchEngine | private |
explore_term_branches(const Handle &, const Handle &, const Handle &) | opencog::PatternMatchEngine | private |
explore_up_branches(const PatternTermPtr &, const Handle &, const Handle &) | opencog::PatternMatchEngine | private |
get_next_thinnest_clause(bool, bool, bool) | opencog::PatternMatchEngine | private |
get_next_untried_clause(void) | opencog::PatternMatchEngine | private |
have_choice(const PatternTermPtr &, const Handle &) | opencog::PatternMatchEngine | private |
have_more | opencog::PatternMatchEngine | private |
have_perm(const PatternTermPtr &, const Handle &) | opencog::PatternMatchEngine | private |
in_quote | opencog::PatternMatchEngine | private |
is_black(const Handle &h) | opencog::PatternMatchEngine | inlineprivate |
is_evaluatable(const Handle &h) | opencog::PatternMatchEngine | inlineprivate |
is_optional(const Handle &h) | opencog::PatternMatchEngine | inlineprivate |
issued | opencog::PatternMatchEngine | private |
issued_stack | opencog::PatternMatchEngine | private |
IssuedSet typedef | opencog::PatternMatchEngine | private |
next_clause | opencog::PatternMatchEngine | private |
next_joint | opencog::PatternMatchEngine | private |
node_compare(const Handle &, const Handle &) | opencog::PatternMatchEngine | private |
ordered_compare(const PatternTermPtr &, const Handle &, const LinkPtr &, const LinkPtr &) | opencog::PatternMatchEngine | private |
PatternMatchEngine(PatternMatchCallback &, const Variables &, const Pattern &) | opencog::PatternMatchEngine | |
perm_pop(void) | opencog::PatternMatchEngine | private |
perm_push(void) | opencog::PatternMatchEngine | private |
perm_stack | opencog::PatternMatchEngine | private |
PermState typedef | opencog::PatternMatchEngine | private |
Permutation typedef | opencog::PatternMatchEngine | private |
pop_redex(void) | opencog::PatternMatchEngine | private |
print_solution(const std::map< Handle, Handle > &vars, const std::map< Handle, Handle > &clauses) | opencog::PatternMatchEngine | static |
print_term(const std::set< Handle > &vars, const std::vector< Handle > &clauses) | opencog::PatternMatchEngine | static |
push_redex(void) | opencog::PatternMatchEngine | private |
quote_compare(const PatternTermPtr &, const Handle &) | opencog::PatternMatchEngine | private |
redex_compare(const LinkPtr &, const LinkPtr &) | opencog::PatternMatchEngine | private |
self_compare(const Handle &) | opencog::PatternMatchEngine | private |
SolnMap typedef | opencog::PatternMatchEngine | private |
solution_drop(void) | opencog::PatternMatchEngine | private |
solution_pop(void) | opencog::PatternMatchEngine | private |
solution_push(void) | opencog::PatternMatchEngine | private |
take_step | opencog::PatternMatchEngine | private |
term_solutn_stack | opencog::PatternMatchEngine | private |
thickness(const Handle &, const std::set< Handle > &) | opencog::PatternMatchEngine | private |
tree_compare(const PatternTermPtr &, const Handle &, Caller) | opencog::PatternMatchEngine | private |
Unorder typedef | opencog::PatternMatchEngine | private |
unorder_compare(const PatternTermPtr &, const Handle &, const LinkPtr &, const LinkPtr &) | opencog::PatternMatchEngine | private |
var_grounding | opencog::PatternMatchEngine | private |
var_solutn_stack | opencog::PatternMatchEngine | private |
variable_compare(const Handle &, const Handle &) | opencog::PatternMatchEngine | private |