ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
preprocess.h
Go to the documentation of this file.
1#ifndef _kissat_preprocess_h_INCLUDED
2#define _kissat_preprocess_h_INCLUDED
3
4#include <stdbool.h>
5
6#include "global.h"
7ABC_NAMESPACE_HEADER_START
8
9struct kissat;
10bool kissat_preprocessing (struct kissat *);
11int kissat_preprocess (struct kissat *);
12
13ABC_NAMESPACE_HEADER_END
14
15#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_preprocessing
bool kissat_preprocessing(struct kissat *)
Definition preprocess.c:16
kissat_preprocess
int kissat_preprocess(struct kissat *)
Definition preprocess.c:31