ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
resize.h
Go to the documentation of this file.
1#ifndef _resize_h_INCLUDED
2#define _resize_h_INCLUDED
3
4#include "global.h"
5ABC_NAMESPACE_HEADER_START
6
7struct kissat;
8
9void kissat_decrease_size (struct kissat *solver);
10void kissat_increase_size (struct kissat *, unsigned new_size);
11void kissat_enlarge_variables (struct kissat *, unsigned new_vars);
12
13ABC_NAMESPACE_HEADER_END
14
15#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
solver
#define solver
Definition kitten.c:211
kissat_decrease_size
void kissat_decrease_size(struct kissat *solver)
Definition resize.c:82
kissat_increase_size
void kissat_increase_size(struct kissat *, unsigned new_size)
Definition resize.c:52
kissat_enlarge_variables
void kissat_enlarge_variables(struct kissat *, unsigned new_vars)
Definition resize.c:111