ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
mode.h
Go to the documentation of this file.
1#ifndef _mode_h_INCLUDED
2#define _mode_h_INCLUDED
3
4#include "global.h"
5ABC_NAMESPACE_HEADER_START
6
7struct kissat;
8
9typedef struct mode mode;
10
11struct mode {
12 uint64_t ticks;
13#ifndef KISSAT_QUIET
14 double entered;
15 uint64_t conflicts;
16#ifdef METRICS
17 uint64_t propagations;
18 uint64_t visits;
19#endif
20#endif
21};
22
23void kissat_init_mode_limit (struct kissat *);
24bool kissat_switching_search_mode (struct kissat *);
25void kissat_switch_search_mode (struct kissat *);
26
27ABC_NAMESPACE_HEADER_END
28
29#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_switching_search_mode
bool kissat_switching_search_mode(struct kissat *)
Definition mode.c:188
kissat_switch_search_mode
void kissat_switch_search_mode(struct kissat *)
Definition mode.c:203
kissat_init_mode_limit
void kissat_init_mode_limit(struct kissat *)
Definition mode.c:21
mode
Definition mode.h:11
mode::ticks
uint64_t ticks
Definition mode.h:12