Definition at line 11369 of file z3py.py.
◆ __init__()
Definition at line 11370 of file z3py.py.
11370 def __init__(self):
◆ get()
◆ insert()
Definition at line 11394 of file z3py.py.
11394 def insert(self, r):
11397 id = len(self.bases) + 3
11400 id = len(self.bases) + 3
◆ set()
Definition at line 11387 of file z3py.py.
11387 def set(self, ctx, r):
11390 self.bases[ctx] = r
11392 self.bases[ctx] = r
◆ set_threaded()
Definition at line 11374 of file z3py.py.
11374 def set_threaded(self):
11375 if self.lock
is None:
11377 self.lock = threading.Lock()
◆ bases
◆ lock