#include "hints.h"
This page has information from files
hints.h and hints.c.
Contents
Public Routines in File hints.c
Index
Details
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);
Public Definitions in File hints.h
Introduction