CDatabase Member List

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

_clausesCDatabase [protected]
_lit_pool_end_storageCDatabase [protected]
_lit_pool_finishCDatabase [protected]
_lit_pool_startCDatabase [protected]
_mem_limitCDatabase [protected]
_num_var_in_new_clCDatabase [protected]
_statsCDatabase [protected]
_unused_clause_idx_queueCDatabase [protected]
_variablesCDatabase [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]


Generated on Tue Jul 3 14:35:24 2007 for CVC3 by  doxygen 1.5.1