adjust_weight_with_hints | index_hint | redundant_hints | |
done_with_hints | init_hints | unindex_hint |
void adjust_weight_with_hints(Topform c, int bsub_add_wt_at, int bsub_wt_at, int label_at, BOOL degrade);
void done_with_hints(void);
void index_hint(Topform c, int label_at, BOOL collect_labels);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(Topform c);