#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_hintunindex_hint
done_with_hintsinit_hints

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);

void init_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.