CDatabase Member List

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

_clauses	CDatabase	[protected]
_lit_pool_end_storage	CDatabase	[protected]
_lit_pool_finish	CDatabase	[protected]
_lit_pool_start	CDatabase	[protected]
_mem_limit	CDatabase	[protected]
_num_var_in_new_cl	CDatabase	[protected]
_stats	CDatabase	[protected]
_unused_clause_idx_queue	CDatabase	[protected]
_variables	CDatabase	[protected]
add_variable(void)	CDatabase	[inline]
CDatabase()	CDatabase
clause(ClauseIdx idx)	CDatabase	[inline]
clauses(void)	CDatabase	[inline]
compact_lit_pool(void)	CDatabase
detail_dump_cl(ClauseIdx cl_idx, ostream &os=cout)	CDatabase
dump(ostream &os=cout)	CDatabase
enlarge_lit_pool(void)	CDatabase
estimate_mem_usage(void)	CDatabase	[inline]
find_unit_literal(ClauseIdx cl)	CDatabase
init(void)	CDatabase	[inline]
init_num_clauses()	CDatabase	[inline]
init_num_literals()	CDatabase	[inline]
is_conflict(ClauseIdx cl)	CDatabase
is_satisfied(ClauseIdx cl)	CDatabase
lit_pool(int i)	CDatabase	[inline]
lit_pool_begin(void)	CDatabase	[inline]
lit_pool_end(void)	CDatabase	[inline]
lit_pool_free_space(void)	CDatabase	[inline]
lit_pool_push_back(int value)	CDatabase	[inline]
lit_pool_size(void)	CDatabase	[inline]
literal_value(CLitPoolElement l)	CDatabase	[inline]
mark_clause_deleted(CClause &cl)	CDatabase	[inline]
mark_var_in_new_cl(int v_idx, int phase)	CDatabase	[inline]
mem_usage(void)	CDatabase	[inline]
num_added_clauses()	CDatabase	[inline]
num_added_literals()	CDatabase	[inline]
num_clauses(void)	CDatabase	[inline]
num_deleted_clauses()	CDatabase	[inline]
num_deleted_literals()	CDatabase	[inline]
num_literals(void)	CDatabase	[inline]
num_variables(void)	CDatabase	[inline]
output_lit_pool_state(void)	CDatabase
set_mem_limit(int n)	CDatabase	[inline]
set_variable_number(int n)	CDatabase	[inline]
stats(void)	CDatabase	[inline]
variable(int idx)	CDatabase	[inline]
variables(void)	CDatabase	[inline]
~CDatabase()	CDatabase	[inline]

---