CVariable Member List

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]