ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
minimize.h
Go to the documentation of this file.
1#ifndef _minimize_h_INCLUDED
2#define _minimize_h_INCLUDED
3
4#include <stdbool.h>
5
6#include "global.h"
7ABC_NAMESPACE_HEADER_START
8
9struct kissat;
10
11void kissat_reset_poisoned (struct kissat *);
12
13void kissat_minimize_clause (struct kissat *);
14bool kissat_minimize_literal (struct kissat *, unsigned,
15 bool lit_in_clause);
16
17ABC_NAMESPACE_HEADER_END
18
19#endif
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition abc_namespaces.h:51
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition abc_namespaces.h:50
kissat_minimize_literal
bool kissat_minimize_literal(struct kissat *, unsigned, bool lit_in_clause)
Definition minimize.c:138
kissat_minimize_clause
void kissat_minimize_clause(struct kissat *)
Definition minimize.c:157
kissat_reset_poisoned
void kissat_reset_poisoned(struct kissat *)
Definition minimize.c:145