Definition at line 11649 of file z3py.py.
◆ __init__()
Definition at line 11650 of file z3py.py.
11650 def __init__(self):
11651 self.bases = {}
11652 self.lock = None
11653
◆ get()
Definition at line 11659 of file z3py.py.
11659 def get(self, ctx):
11660 if self.lock:
11661 with self.lock:
11662 r = self.bases[ctx]
11663 else:
11664 r = self.bases[ctx]
11665 return r
11666
◆ insert()
Definition at line 11674 of file z3py.py.
11674 def insert(self, r):
11675 if self.lock:
11676 with self.lock:
11677 id = len(self.bases) + 3
11678 self.bases[id] = r
11679 else:
11680 id = len(self.bases) + 3
11681 self.bases[id] = r
11682 return id
11683
11684
◆ set()
Definition at line 11667 of file z3py.py.
11667 def set(self, ctx, r):
11668 if self.lock:
11669 with self.lock:
11670 self.bases[ctx] = r
11671 else:
11672 self.bases[ctx] = r
11673
◆ set_threaded()
Definition at line 11654 of file z3py.py.
11654 def set_threaded(self):
11655 if self.lock is None:
11656 import threading
11657 self.lock = threading.Lock()
11658
◆ bases
◆ lock