![]() |
Connect++ 0.4.0
A fast, readable connection prover for first-order logic.
|
This is the complete list of members for ERWA, including all inherited members.
alpha (defined in ERWA) | ERWA | private |
alpha_is_1_over_n (defined in ERWA) | ERWA | private |
choice | ERWA | private |
choose() | ERWA | |
choose_next | ERWA | private |
epsilon (defined in ERWA) | ERWA | private |
epsilon_greedy (defined in ERWA) | ERWA | private |
ERWA()=delete (defined in ERWA) | ERWA | |
ERWA(size_t, bool=true, bool=true) (defined in ERWA) | ERWA | |
find_max() const | ERWA | private |
get_choice() const (defined in ERWA) | ERWA | inline |
K (defined in ERWA) | ERWA | private |
n (defined in ERWA) | ERWA | private |
operator<< (defined in ERWA) | ERWA | friend |
p (defined in ERWA) | ERWA | private |
p2 (defined in ERWA) | ERWA | private |
r_hat (defined in ERWA) | ERWA | private |
random_generator | ERWA | privatestatic |
reward(double) | ERWA | |
set_alpha(double _a) | ERWA | inline |
set_epsilon(double _e) | ERWA | inline |