CVC3  2.4.1
CVariable Member List

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

_antecedenceCVariableprotected
_dlevelCVariableprotected
_ht_ptrsCVariableprotected
_in_new_clCVariableprotected
_is_markedCVariableprotected
_lits_countCVariableprotected
_scoresCVariableprotected
_valueCVariableprotected
_var_score_posCVariableprotected
clear_marked(void)CVariableinline
CVariable(void)CVariableinline
dlevel(void)CVariableinline
dump(ostream &os=cout)CVariableinline
get_antecedence(void)CVariableinline
ht_ptr(int i)CVariableinline
in_new_cl(void)CVariableinline
is_marked(void)CVariableinline
lits_count(int i)CVariableinline
operator<<(ostream &os, CVariable &v)CVariablefriend
score(int i)CVariableinline
score(void)CVariableinline
set_antecedence(ClauseIdx ante)CVariableinline
set_in_new_cl(int phase)CVariableinline
set_marked(void)CVariableinline
value(void)CVariableinline
var_score_pos(void)CVariableinline