bump.h

Go to the documentation of this file.

#ifndef _bump_h_INCLUDED
#define _bump_h_INCLUDED
 
#include <stdbool.h>
 
#include "global.h"
ABC_NAMESPACE_HEADER_START
 
struct kissat;
 
void kissat_bump_analyzed (struct kissat *);
void kissat_update_scores (struct kissat *);
void kissat_rescale_scores (struct kissat *);
void kissat_bump_variable (struct kissat *, unsigned idx);
void kissat_bump_score_increment (struct kissat *);
 
#define MAX_SCORE 1e150
 
ABC_NAMESPACE_HEADER_END
 
#endif