adjust_weight_with_hints | index_hint | unindex_hint | |
done_with_hints | init_hints |
void adjust_weight_with_hints(Clause c, int bsub_add_wt_at, int bsub_wt_at, int label_at, BOOL degrade);
void done_with_hints(void);
void index_hint(Clause c);
void init_hints(void);
void unindex_hint(Clause c);
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.