adjust_weight_with_hints | index_hint | redundant_hints | |
done_with_hints | init_hints | unindex_hint |
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, int label_at);Index a clause C as a hint (make sure to call init_hints first). If the clause is equivalent to a previously indexed hint H, any labels on C are copied to H, and C is not indexed.
void init_hints(Uniftype utype);
int redundant_hints(void);
void unindex_hint(Clause c);
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.