Searched refs:DeadStaticClausesLock (Results 1 – 3 of 3) sorted by relevance
249 #define DeadStaticClausesLock Yap_heap_regs->dead_static_clauses_lock macro
276 lockvar dead_static_clauses_lock DeadStaticClausesLock MkLock
1584 LOCK(DeadStaticClausesLock); in retract_all()1587 UNLOCK(DeadStaticClausesLock); in retract_all()2359 LOCK(DeadStaticClausesLock); in Yap_EraseStaticClause()2362 UNLOCK(DeadStaticClausesLock); in Yap_EraseStaticClause()