ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
restart.h
Go to the documentation of this file.
1#ifndef _restart_h_INCLUDED
2#define _restart_h_INCLUDED
3
4#include "global.h"
5ABC_NAMESPACE_HEADER_START
6
7#include <stdbool.h>
8
9struct kissat;
10
11bool kissat_restarting (struct kissat *);
12void kissat_restart (struct kissat *);
13
14void kissat_update_focused_restart_limit (struct kissat *);
15
16ABC_NAMESPACE_HEADER_END
17
18#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_update_focused_restart_limit
void kissat_update_focused_restart_limit(struct kissat *)
Definition restart.c:41
kissat_restarting
bool kissat_restarting(struct kissat *)
Definition restart.c:16
kissat_restart
void kissat_restart(struct kissat *)
Definition restart.c:114