Definition at line 11072 of file z3py.py.
◆ __init__()
Definition at line 11073 of file z3py.py.
11073 def __init__(self):
◆ get()
◆ insert()
Definition at line 11097 of file z3py.py.
11097 def insert(self, r):
11099 self.lock.acquire()
11100 id = len(self.bases) + 3
11103 self.lock.release()
◆ set()
Definition at line 11090 of file z3py.py.
11090 def set(self, ctx, r):
11092 self.lock.acquire()
11093 self.bases[ctx] = r
11095 self.lock.release()
◆ set_threaded()
Definition at line 11077 of file z3py.py.
11077 def set_threaded():
11078 if self.lock
is None:
11080 self.lock = threading.thread.Lock()
◆ bases
◆ lock