Definition at line 11195 of file z3py.py.
◆ __init__()
Definition at line 11196 of file z3py.py.
11196 def __init__(self):
◆ get()
◆ insert()
Definition at line 11220 of file z3py.py.
11220 def insert(self, r):
11223 id = len(self.bases) + 3
11226 id = len(self.bases) + 3
◆ set()
Definition at line 11213 of file z3py.py.
11213 def set(self, ctx, r):
11216 self.bases[ctx] = r
11218 self.bases[ctx] = r
◆ set_threaded()
Definition at line 11200 of file z3py.py.
11200 def set_threaded(self):
11201 if self.lock
is None:
11203 self.lock = threading.Lock()
◆ bases
◆ lock