CVC3  2.4.1
CDatabase Member List

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

_clausesCDatabaseprotected
_lit_pool_end_storageCDatabaseprotected
_lit_pool_finishCDatabaseprotected
_lit_pool_startCDatabaseprotected
_mem_limitCDatabaseprotected
_num_var_in_new_clCDatabaseprotected
_statsCDatabaseprotected
_unused_clause_idx_queueCDatabaseprotected
_variablesCDatabaseprotected
add_variable(void)CDatabaseinline
CDatabase()CDatabase
clause(ClauseIdx idx)CDatabaseinline
clauses(void)CDatabaseinline
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)CDatabaseinline
find_unit_literal(ClauseIdx cl)CDatabase
init(void)CDatabaseinline
init_num_clauses()CDatabaseinline
init_num_literals()CDatabaseinline
is_conflict(ClauseIdx cl)CDatabase
is_satisfied(ClauseIdx cl)CDatabase
lit_pool(int i)CDatabaseinline
lit_pool_begin(void)CDatabaseinline
lit_pool_end(void)CDatabaseinline
lit_pool_free_space(void)CDatabaseinline
lit_pool_push_back(int value)CDatabaseinline
lit_pool_size(void)CDatabaseinline
literal_value(CLitPoolElement l)CDatabaseinline
mark_clause_deleted(CClause &cl)CDatabaseinline
mark_var_in_new_cl(int v_idx, int phase)CDatabaseinline
mem_usage(void)CDatabaseinline
num_added_clauses()CDatabaseinline
num_added_literals()CDatabaseinline
num_clauses(void)CDatabaseinline
num_deleted_clauses()CDatabaseinline
num_deleted_literals()CDatabaseinline
num_literals(void)CDatabaseinline
num_variables(void)CDatabaseinline
output_lit_pool_state(void)CDatabase
set_mem_limit(int n)CDatabaseinline
set_variable_number(int n)CDatabaseinline
stats(void)CDatabaseinline
variable(int idx)CDatabaseinline
variables(void)CDatabaseinline
~CDatabase()CDatabaseinline