CVC3
|
This is the complete list of members for CVariable, including all inherited members.
_antecedence | CVariable | protected |
_dlevel | CVariable | protected |
_ht_ptrs | CVariable | protected |
_in_new_cl | CVariable | protected |
_is_marked | CVariable | protected |
_lits_count | CVariable | protected |
_scores | CVariable | protected |
_value | CVariable | protected |
_var_score_pos | CVariable | protected |
clear_marked(void) | CVariable | inline |
CVariable(void) | CVariable | inline |
dlevel(void) | CVariable | inline |
dump(ostream &os=cout) | CVariable | inline |
get_antecedence(void) | CVariable | inline |
ht_ptr(int i) | CVariable | inline |
in_new_cl(void) | CVariable | inline |
is_marked(void) | CVariable | inline |
lits_count(int i) | CVariable | inline |
operator<<(ostream &os, CVariable &v) | CVariable | friend |
score(int i) | CVariable | inline |
score(void) | CVariable | inline |
set_antecedence(ClauseIdx ante) | CVariable | inline |
set_in_new_cl(int phase) | CVariable | inline |
set_marked(void) | CVariable | inline |
value(void) | CVariable | inline |
var_score_pos(void) | CVariable | inline |