1 //===--- types.h ------------------------------------------------------------===
2 //
3 //                     satoko: Satisfiability solver
4 //
5 // This file is distributed under the BSD 2-Clause License.
6 // See LICENSE for details.
7 //
8 //===------------------------------------------------------------------------===
9 #ifndef satoko__types_h
10 #define satoko__types_h
11 
12 #include "utils/sdbl.h"
13 #include "utils/vec/vec_sdbl.h"
14 
15 #include "misc/util/abc_global.h"
16 ABC_NAMESPACE_HEADER_START
17 
18 /* In Satoko ABC version this file is useless */
19 
20 #define VAR_ACT_INIT_INC SDBL_CONST1
21 #define VAR_ACT_LIMIT ABC_CONST(0x014c924d692ca61b)
22 #define VAR_ACT_RESCALE 200
23 typedef sdbl_t act_t;
24 typedef vec_sdbl_t vec_act_t ;
25 #define vec_act_alloc(size) vec_sdbl_alloc(size)
26 #define vec_act_free(vec) vec_sdbl_free(vec)
27 #define vec_act_size(vec) vec_sdbl_size(vec)
28 #define vec_act_data(vec) vec_sdbl_data(vec)
29 #define vec_act_clear(vec) vec_sdbl_clear(vec)
30 #define vec_act_shrink(vec, size) vec_sdbl_shrink(vec, size)
31 #define vec_act_at(vec, idx) vec_sdbl_at(vec, idx)
32 #define vec_act_push_back(vec, value) vec_sdbl_push_back(vec, value)
33 
34 
35 #define CLAUSE_ACT_INIT_INC (1 << 11)
36 typedef unsigned clause_act_t;
37 
38 ABC_NAMESPACE_HEADER_END
39 #endif /* satoko__types_h */
40