Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/
H A DsatClause.h193 static inline void Sat_MemAlloc_( Sat_Mem_t * p, int nPageSize ) in Sat_MemAlloc_() function
213 Sat_MemAlloc_( p, nPageSize ); in Sat_MemAlloc()
H A DsatSolver3.c1114 Sat_MemAlloc_(&s->Mem, 17); in sat_solver3_new()
1179 Sat_MemAlloc_(&s->Mem, 15); in zsat_solver3_new_seed()
H A DsatSolver.c1140 Sat_MemAlloc_(&s->Mem, 17); in sat_solver_new()
1205 Sat_MemAlloc_(&s->Mem, 15); in zsat_solver_new_seed()
H A DsatSolver2.c1152 Sat_MemAlloc_( &s->Mem, 14 ); in sat_solver2_new()