ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
weaken.h
Go to the documentation of this file.
1#ifndef _weaken_h_INCLUDED
2#define _weaken_h_INCLUDED
3
4#include "global.h"
6
7struct clause;
8struct kissat;
9
10void kissat_weaken_unit (struct kissat *, unsigned lit);
11void kissat_weaken_binary (struct kissat *, unsigned lit, unsigned other);
12void kissat_weaken_clause (struct kissat *, unsigned lit, struct clause *);
13
15
16#endif
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
int lit
Definition satVec.h:130
void kissat_weaken_unit(struct kissat *, unsigned lit)
Definition weaken.c:56
void kissat_weaken_clause(struct kissat *, unsigned lit, struct clause *)
Definition weaken.c:38
void kissat_weaken_binary(struct kissat *, unsigned lit, unsigned other)
Definition weaken.c:48