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