Definition at line 11305 of file z3py.py.
◆ __init__()
Definition at line 11306 of file z3py.py.
11306 def __init__(self):
11307 self.bases = {}
11308 self.lock = None
11309
◆ get()
Definition at line 11315 of file z3py.py.
11315 def get(self, ctx):
11316 if self.lock:
11317 with self.lock:
11318 r = self.bases[ctx]
11319 else:
11320 r = self.bases[ctx]
11321 return r
11322
Referenced by Goal.__getitem__(), and Goal.as_expr().
◆ insert()
Definition at line 11330 of file z3py.py.
11330 def insert(self, r):
11331 if self.lock:
11332 with self.lock:
11333 id = len(self.bases) + 3
11334 self.bases[id] = r
11335 else:
11336 id = len(self.bases) + 3
11337 self.bases[id] = r
11338 return id
11339
11340
◆ set()
Definition at line 11323 of file z3py.py.
11323 def set(self, ctx, r):
11324 if self.lock:
11325 with self.lock:
11326 self.bases[ctx] = r
11327 else:
11328 self.bases[ctx] = r
11329
◆ set_threaded()
Definition at line 11310 of file z3py.py.
11310 def set_threaded(self):
11311 if self.lock is None:
11312 import threading
11313 self.lock = threading.Lock()
11314
◆ bases
◆ lock