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