ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
import.h
Go to the documentation of this file.
1#ifndef _import_h_INLCUDED
2#define _import_h_INLCUDED
3
4#include "global.h"
5ABC_NAMESPACE_HEADER_START
6
7struct kissat;
8
9unsigned kissat_import_literal (struct kissat *solver, int lit);
10unsigned kissat_fresh_literal (struct kissat *solver);
11
12ABC_NAMESPACE_HEADER_END
13
14#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_import_literal
unsigned kissat_import_literal(struct kissat *solver, int lit)
Definition import.c:60
kissat_fresh_literal
unsigned kissat_fresh_literal(struct kissat *solver)
Definition import.c:84
solver
#define solver
Definition kitten.c:211
lit
int lit
Definition satVec.h:130