#include "hints.h"

This page has information from files hints.h and hints.c.

Contents


Public Routines in File hints.c

Index

adjust_weight_with_hintsindex_hintredundant_hints
done_with_hintsinit_hintsunindex_hint

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