#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,
			      BOOL degrade,
			      BOOL breadth_first_hints);
void back_demod_hints(Topform demod, int type, BOOL lex_order_vars);
void done_with_hints(void);
void index_hint(Topform c);
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 bsub_wt_attr,
		BOOL collect_labels,
		BOOL back_demod_hints,
		void (*demod_proc) (Topform, int, int, BOOL, BOOL));
int redundant_hints(void);
void unindex_hint(Topform c);
Public Definitions in File hints.h
Introduction