#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(Clause c,
			      int bsub_add_wt_at,
			      int bsub_wt_at,
			      int label_at,
			      BOOL degrade);

void done_with_hints(void);

void index_hint(Clause c, int label_at);
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(Clause c);

Public Definitions in File hints.h


Introduction


These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.