Connect++ 0.4.0
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
ERWA Member List

This is the complete list of members for ERWA, including all inherited members.

alpha (defined in ERWA)ERWAprivate
alpha_is_1_over_n (defined in ERWA)ERWAprivate
choiceERWAprivate
choose()ERWA
choose_nextERWAprivate
epsilon (defined in ERWA)ERWAprivate
epsilon_greedy (defined in ERWA)ERWAprivate
ERWA()=delete (defined in ERWA)ERWA
ERWA(size_t, bool=true, bool=true) (defined in ERWA)ERWA
find_max() constERWAprivate
get_choice() const (defined in ERWA)ERWAinline
K (defined in ERWA)ERWAprivate
n (defined in ERWA)ERWAprivate
operator<< (defined in ERWA)ERWAfriend
p (defined in ERWA)ERWAprivate
p2 (defined in ERWA)ERWAprivate
r_hat (defined in ERWA)ERWAprivate
random_generatorERWAprivatestatic
reward(double)ERWA
set_alpha(double _a)ERWAinline
set_epsilon(double _e)ERWAinline