Logo Search packages:      
Sourcecode: packup version File versions  Download package

BasicClauseSet Member List

This is the complete list of members for BasicClauseSet, including all inherited members.
add_literal(BasicClause *cl, LINT nlit) (defined in BasicClauseSet)BasicClauseSet [inline]
all_soft_unit() (defined in BasicClauseSet)BasicClauseSet [inline]
attach_clause(BasicClause *ncl) (defined in BasicClauseSet)BasicClauseSet [inline]
BasicClauseSet() (defined in BasicClauseSet)BasicClauseSet [inline]
begin() (defined in BasicClauseSet)BasicClauseSet [inline]
cl_lits(BasicClause *cl, IntVector lvect) (defined in BasicClauseSet)BasicClauseSet [inline]
clauses (defined in BasicClauseSet)BasicClauseSet [protected]
clear() (defined in BasicClauseSet)BasicClauseSet [inline]
clear_direct() (defined in BasicClauseSet)BasicClauseSet [inline]
clear_indirect() (defined in BasicClauseSet)BasicClauseSet [inline]
clreg (defined in BasicClauseSet)BasicClauseSet [protected]
clvect (defined in BasicClauseSet)BasicClauseSet [protected]
compute_hard_cl_properties() (defined in BasicClauseSet)BasicClauseSet [inline]
compute_properties() (defined in BasicClauseSet)BasicClauseSet [inline]
compute_soft_cl_properties() (defined in BasicClauseSet)BasicClauseSet [inline]
create_binary_clause(LINT lit1, LINT lit2) (defined in BasicClauseSet)BasicClauseSet [inline]
create_clause(LINT nlits, const LINT lits[]) (defined in BasicClauseSet)BasicClauseSet [inline]
create_clause(vector< LINT > &clits) (defined in BasicClauseSet)BasicClauseSet [inline]
create_clause(vector< LINT > &clits, LINT clid) (defined in BasicClauseSet)BasicClauseSet [inline]
create_ternary_clause(LINT lit1, LINT lit2, LINT lit3) (defined in BasicClauseSet)BasicClauseSet [inline]
create_unit_clause(LINT lit) (defined in BasicClauseSet)BasicClauseSet [inline]
decr_cl_weight(BasicClause *cl, XLINT decr) (defined in BasicClauseSet)BasicClauseSet [inline]
def_cltype (defined in BasicClauseSet)BasicClauseSet [protected]
def_clw (defined in BasicClauseSet)BasicClauseSet [protected]
detach_clause(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline]
dump(ostream &outs=cout) (defined in BasicClauseSet)BasicClauseSet [inline]
end() (defined in BasicClauseSet)BasicClauseSet [inline]
erase_clause(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline]
find(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline]
g2cv_map (defined in BasicClauseSet)BasicClauseSet [protected]
get_cl__grp_id(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline]
get_cl_group(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline]
get_cl_id(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline]
get_cl_lits(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline]
get_cl_max_lit(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline]
get_cl_min_lit(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline]
get_cl_weight(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline]
get_num_cls() (defined in BasicClauseSet)BasicClauseSet [inline]
get_num_grp() (defined in BasicClauseSet)BasicClauseSet [inline]
get_num_hard_cls() (defined in BasicClauseSet)BasicClauseSet [inline]
get_num_nonsofthard_cls() (defined in BasicClauseSet)BasicClauseSet [inline]
get_num_soft_cls() (defined in BasicClauseSet)BasicClauseSet [inline]
get_num_vars() (defined in BasicClauseSet)BasicClauseSet [inline]
get_num_weighted_cls() (defined in BasicClauseSet)BasicClauseSet [inline]
get_top() (defined in BasicClauseSet)BasicClauseSet [inline]
incr_cl_weight(BasicClause *cl, XLINT incr) (defined in BasicClauseSet)BasicClauseSet [inline]
insert_clause(BasicClause *ncl) (defined in BasicClauseSet)BasicClauseSet [inline]
is_cl_hard(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline]
is_cl_soft(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline]
is_cl_unit(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline]
iteron (defined in BasicClauseSet)BasicClauseSet [protected]
lookup(vector< LINT > &clits) (defined in BasicClauseSet)BasicClauseSet [inline]
lookup(LINT num, const LINT ivect[]) (defined in BasicClauseSet)BasicClauseSet [inline]
num_hard_cls (defined in BasicClauseSet)BasicClauseSet [protected]
num_other_cls (defined in BasicClauseSet)BasicClauseSet [protected]
num_soft_cls (defined in BasicClauseSet)BasicClauseSet [protected]
num_weighted_cls (defined in BasicClauseSet)BasicClauseSet [protected]
operator<< (defined in BasicClauseSet)BasicClauseSet [friend]
rm_clause(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline]
set_cl_group(BasicClause *cl, XLINT clgrp) (defined in BasicClauseSet)BasicClauseSet [inline]
set_cl_grp_id(BasicClause *cl, ULINT gid) (defined in BasicClauseSet)BasicClauseSet [inline]
set_cl_hard(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline]
set_cl_id(BasicClause *cl, ULINT clid) (defined in BasicClauseSet)BasicClauseSet [inline]
set_cl_soft(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline]
set_cl_weight(BasicClause *cl, XLINT clweight=1) (defined in BasicClauseSet)BasicClauseSet [inline]
set_def_cl_hard() (defined in BasicClauseSet)BasicClauseSet [inline]
set_def_cl_soft() (defined in BasicClauseSet)BasicClauseSet [inline]
set_def_cl_weight(XLINT nclw) (defined in BasicClauseSet)BasicClauseSet [inline]
set_def_cltype(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline, protected]
set_num_cls(ULINT ncls) (defined in BasicClauseSet)BasicClauseSet [inline]
set_num_grp(XLINT ngrp) (defined in BasicClauseSet)BasicClauseSet [inline]
set_num_vars(ULINT nvars) (defined in BasicClauseSet)BasicClauseSet [inline]
set_top(XLINT topv) (defined in BasicClauseSet)BasicClauseSet [inline]
size() (defined in BasicClauseSet)BasicClauseSet [inline]
soft_units (defined in BasicClauseSet)BasicClauseSet [protected]
svect_begin() (defined in BasicClauseSet)BasicClauseSet [inline]
svect_end() (defined in BasicClauseSet)BasicClauseSet [inline]
tmp_add_clause(BasicClause *ncl) (defined in BasicClauseSet)BasicClauseSet [inline]
tmp_rm_clause(BasicClause *cl) (defined in BasicClauseSet)BasicClauseSet [inline]
top_weight (defined in BasicClauseSet)BasicClauseSet [protected]
wrk_lits (defined in BasicClauseSet)BasicClauseSet [private]
~BasicClauseSet() (defined in BasicClauseSet)BasicClauseSet [inline, virtual]

Generated by  Doxygen 1.6.0   Back to index