ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
analyze.h
Go to the documentation of this file.
1#ifndef _analyze_h_INCLUDED
2#define _analyze_h_INCLUDED
3
4#include <stdbool.h>
5
6#include "global.h"
7ABC_NAMESPACE_HEADER_START
8
9struct clause;
10struct kissat;
11
12int kissat_analyze (struct kissat *, struct clause *);
13void kissat_reset_only_analyzed_literals (struct kissat *);
14
15ABC_NAMESPACE_HEADER_END
16
17#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_reset_only_analyzed_literals
void kissat_reset_only_analyzed_literals(struct kissat *)
Definition analyze.c:328
kissat_analyze
int kissat_analyze(struct kissat *, struct clause *)
Definition analyze.c:529