 |
Connect++ 0.6.0
A fast, readable connection prover for first-order logic.
|
|
Connect++ 0.6.0
A fast, readable connection prover for first-order logic.
|
This is the complete list of members for EXP3, including all inherited members.
| choice | EXP3 | private |
| choose() | EXP3 | |
| choose_next | EXP3 | private |
| EXP3()=delete (defined in EXP3) | EXP3 | |
| EXP3(size_t, double) (defined in EXP3) | EXP3 | |
| gamma (defined in EXP3) | EXP3 | private |
| gamma_over_K (defined in EXP3) | EXP3 | private |
| get_choice() const (defined in EXP3) | EXP3 | inline |
| K (defined in EXP3) | EXP3 | private |
| omega (defined in EXP3) | EXP3 | private |
| one_minus_gamma (defined in EXP3) | EXP3 | private |
| operator<< (defined in EXP3) | EXP3 | friend |
| p_values (defined in EXP3) | EXP3 | private |
| random_generator | EXP3 | privatestatic |
| reward(double) | EXP3 | |
| set_gamma(double) | EXP3 |
1.10.0