weaken.h

Go to the documentation of this file.

#ifndef _weaken_h_INCLUDED
#define _weaken_h_INCLUDED
 
#include "global.h"
ABC_NAMESPACE_HEADER_START
 
struct clause;
struct kissat;
 
void kissat_weaken_unit (struct kissat *, unsigned lit);
void kissat_weaken_binary (struct kissat *, unsigned lit, unsigned other);
void kissat_weaken_clause (struct kissat *, unsigned lit, struct clause *);
 
ABC_NAMESPACE_HEADER_END
 
#endif