Definition at line 11417 of file z3py.py.
◆ __init__()
Definition at line 11418 of file z3py.py.
11418 def __init__(self):
11419 self.bases = {}
11420 self.lock = None
11421
◆ get()
Definition at line 11427 of file z3py.py.
11427 def get(self, ctx):
11428 if self.lock:
11429 with self.lock:
11430 r = self.bases[ctx]
11431 else:
11432 r = self.bases[ctx]
11433 return r
11434
Referenced by Goal.__getitem__(), and Goal.as_expr().
◆ insert()
Definition at line 11442 of file z3py.py.
11442 def insert(self, r):
11443 if self.lock:
11444 with self.lock:
11445 id = len(self.bases) + 3
11446 self.bases[id] = r
11447 else:
11448 id = len(self.bases) + 3
11449 self.bases[id] = r
11450 return id
11451
11452
◆ set()
Definition at line 11435 of file z3py.py.
11435 def set(self, ctx, r):
11436 if self.lock:
11437 with self.lock:
11438 self.bases[ctx] = r
11439 else:
11440 self.bases[ctx] = r
11441
◆ set_threaded()
Definition at line 11422 of file z3py.py.
11422 def set_threaded(self):
11423 if self.lock is None:
11424 import threading
11425 self.lock = threading.Lock()
11426
◆ bases
◆ lock