Definition at line 10493 of file z3py.py.
◆ __init__()
Definition at line 10494 of file z3py.py.
10494 def __init__(self):
◆ get()
Definition at line 10503 of file z3py.py.
10503 def get(self, ctx):
10504 if self.lock: self.lock.acquire()
10505 r = self.bases[ctx]
10506 if self.lock: self.lock.release()
Referenced by Goal.__getitem__(), and Goal.as_expr().
◆ insert()
Definition at line 10514 of file z3py.py.
10514 def insert(self, r):
10515 if self.lock: self.lock.acquire()
10516 id = len(self.bases) + 3
10518 if self.lock: self.lock.release()
◆ set()
Definition at line 10509 of file z3py.py.
10509 def set(self, ctx, r):
10510 if self.lock: self.lock.acquire()
10511 self.bases[ctx] = r
10512 if self.lock: self.lock.release()
◆ set_threaded()
Definition at line 10498 of file z3py.py.
10498 def set_threaded():
10499 if self.lock
is None:
10501 self.lock = threading.thread.Lock()
◆ bases
◆ lock