ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
threading.Lock Class Reference

Public Member Functions

None __init__ (self)
None acquire (self)
None release (self)

Protected Attributes

int _locked = 0

Detailed Description

Non-recursive mutex; mirrors ``threading.Lock``.

Constructor & Destructor Documentation

◆ __init__()

None threading.Lock.__init__ ( self)

Member Function Documentation

◆ acquire()

None threading.Lock.acquire ( self)
Block until the lock is free, then mark it held.

◆ release()

None threading.Lock.release ( self)
Mark the lock free.

Member Data Documentation

◆ _locked

int threading.Lock._locked = 0
protected

The documentation for this class was generated from the following file: