Definition at line 11233 of file z3py.py.
◆ __init__()
Definition at line 11234 of file z3py.py.
11234 def __init__(self):
◆ get()
◆ insert()
Definition at line 11258 of file z3py.py.
11258 def insert(self, r):
11261 id = len(self.bases) + 3
11264 id = len(self.bases) + 3
◆ set()
Definition at line 11251 of file z3py.py.
11251 def set(self, ctx, r):
11254 self.bases[ctx] = r
11256 self.bases[ctx] = r
◆ set_threaded()
Definition at line 11238 of file z3py.py.
11238 def set_threaded(self):
11239 if self.lock
is None:
11241 self.lock = threading.Lock()
◆ bases
◆ lock