Definition at line 11369 of file z3py.py.
◆ __init__()
Definition at line 11370 of file z3py.py.
11370 def __init__(self):
11371 self.bases = {}
11372 self.lock = None
11373
◆ get()
Definition at line 11379 of file z3py.py.
11379 def get(self, ctx):
11380 if self.lock:
11381 with self.lock:
11382 r = self.bases[ctx]
11383 else:
11384 r = self.bases[ctx]
11385 return r
11386
Referenced by Goal.__getitem__(), and Goal.as_expr().
◆ insert()
Definition at line 11394 of file z3py.py.
11394 def insert(self, r):
11395 if self.lock:
11396 with self.lock:
11397 id = len(self.bases) + 3
11398 self.bases[id] = r
11399 else:
11400 id = len(self.bases) + 3
11401 self.bases[id] = r
11402 return id
11403
11404
◆ set()
Definition at line 11387 of file z3py.py.
11387 def set(self, ctx, r):
11388 if self.lock:
11389 with self.lock:
11390 self.bases[ctx] = r
11391 else:
11392 self.bases[ctx] = r
11393
◆ set_threaded()
Definition at line 11374 of file z3py.py.
11374 def set_threaded(self):
11375 if self.lock is None:
11376 import threading
11377 self.lock = threading.Lock()
11378
◆ bases
◆ lock