#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_hintsdone_with_hintsinit_hintsunindex_hint
back_demod_hintsindex_hintredundant_hints

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