Definition at line 11658 of file z3py.py.
◆ __init__()
Definition at line 11659 of file z3py.py.
11659 def __init__(self):
11660 self.bases = {}
11661 self.lock = None
11662
◆ get()
Definition at line 11668 of file z3py.py.
11668 def get(self, ctx):
11669 if self.lock:
11670 with self.lock:
11671 r = self.bases[ctx]
11672 else:
11673 r = self.bases[ctx]
11674 return r
11675
◆ insert()
Definition at line 11683 of file z3py.py.
11683 def insert(self, r):
11684 if self.lock:
11685 with self.lock:
11686 id = len(self.bases) + 3
11687 self.bases[id] = r
11688 else:
11689 id = len(self.bases) + 3
11690 self.bases[id] = r
11691 return id
11692
11693
◆ set()
Definition at line 11676 of file z3py.py.
11676 def set(self, ctx, r):
11677 if self.lock:
11678 with self.lock:
11679 self.bases[ctx] = r
11680 else:
11681 self.bases[ctx] = r
11682
◆ set_threaded()
Definition at line 11663 of file z3py.py.
11663 def set_threaded(self):
11664 if self.lock is None:
11665 import threading
11666 self.lock = threading.Lock()
11667
◆ bases
◆ lock