![]() |
Connect++ 0.6.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 |