Home
last modified time | relevance | path

Searched refs:btor_mem_sat_free (Results 1 – 4 of 4) sorted by relevance

/dports/math/boolector/boolector-3.2.2/src/sat/
H A Dbtorlgl.c49 (lgldealloc) btor_mem_sat_free); in init()
284 (lgldealloc) btor_mem_sat_free); in clone()
H A Dbtorpicosat.c29 (picosat_free) btor_mem_sat_free); in init()
/dports/math/boolector/boolector-3.2.2/src/utils/
H A Dbtormem.h88 void btor_mem_sat_free (BtorMemMgr *mm, void *p, size_t freed);
H A Dbtormem.c151 btor_mem_sat_free (BtorMemMgr *mm, void *p, size_t freed) in btor_mem_sat_free() function