Definition at line 10508 of file z3py.py.
◆ __init__()
◆ get()
Definition at line 10518 of file z3py.py.
10518 def get(self, ctx):
10519 if self.lock: self.lock.acquire()
10520 r = self.bases[ctx]
10521 if self.lock: self.lock.release()
◆ insert()
Definition at line 10529 of file z3py.py.
10529 def insert(self, r):
10530 if self.lock: self.lock.acquire()
10531 id = len(self.bases) + 3
10533 if self.lock: self.lock.release()
◆ set()
Definition at line 10524 of file z3py.py.
10524 def set(self, ctx, r):
10525 if self.lock: self.lock.acquire()
10526 self.bases[ctx] = r
10527 if self.lock: self.lock.release()
◆ set_threaded()
Definition at line 10513 of file z3py.py.
10513 def set_threaded():
10514 if self.lock
is None:
10516 self.lock = threading.thread.Lock()
◆ bases
◆ lock