hints.h

# #include "hints.h"

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

## Contents

- Public Routines
- Public Definitions
- Introduction

## Public Routines in File hints.c

#### Index

adjust_weight_with_hints | done_with_hints | init_hints | unindex_hint
back_demod_hints | index_hint | redundant_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