ABC: A System for Sequential Synthesis and Verification
Loading...
Searching...
No Matches
propdense.h
Go to the documentation of this file.
1
#ifndef _propdense_h_INCLUDED
2
#define _propdense_h_INCLUDED
3
4
#include <limits.h>
5
#include <stdbool.h>
6
7
#include "
global.h
"
8
ABC_NAMESPACE_HEADER_START
9
10
struct
kissat
;
11
12
bool
kissat_dense_propagate
(
struct
kissat
*);
13
14
ABC_NAMESPACE_HEADER_END
15
16
#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
global.h
kissat_dense_propagate
bool kissat_dense_propagate(struct kissat *)
Definition
propdense.c:88
kissat
Definition
internal.h:79
src
sat
kissat
propdense.h
Generated by Doxygen 1.13.2 © 2025 EPTansuo. All rights reserved.
鲁ICP备2021046540号