ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
report.h
Go to the documentation of this file.
1#ifndef _report_h_INCLUDED
2#define _report_h_INCLUDED
3
4#include "global.h"
5
6#ifdef KISSAT_QUIET
7
9
10#define REPORT(...) \
11 do { \
12 } while (0)
13
14#else
15
16#include <stdbool.h>
17
19
20struct kissat;
21
22void kissat_report (struct kissat *, bool verbose, char type);
23
24#define REPORT(LEVEL, TYPE) kissat_report (solver, (LEVEL), (TYPE))
25
26#endif
27
29
30#endif
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
type
CUBE COVER and CUBE typedefs ///.
Definition exor.h:90