|
dict | bases = {} |
|
| lock = None |
|
dict | lock = self.bases[ctx] |
|
int | lock = len(self.bases) + 3 |
|
Definition at line 11543 of file z3py.py.
◆ __init__()
Definition at line 11544 of file z3py.py.
11544 def __init__(self):
11545 self.bases = {}
11546 self.lock = None
11547
◆ get()
Definition at line 11553 of file z3py.py.
11553 def get(self, ctx):
11554 if self.lock:
11555 with self.lock:
11556 r = self.bases[ctx]
11557 else:
11558 r = self.bases[ctx]
11559 return r
11560
Referenced by Goal.__getitem__(), and Goal.as_expr().
◆ insert()
Definition at line 11568 of file z3py.py.
11568 def insert(self, r):
11569 if self.lock:
11570 with self.lock:
11571 id = len(self.bases) + 3
11572 self.bases[id] = r
11573 else:
11574 id = len(self.bases) + 3
11575 self.bases[id] = r
11576 return id
11577
11578
◆ set()
Definition at line 11561 of file z3py.py.
11561 def set(self, ctx, r):
11562 if self.lock:
11563 with self.lock:
11564 self.bases[ctx] = r
11565 else:
11566 self.bases[ctx] = r
11567
◆ set_threaded()
Definition at line 11548 of file z3py.py.
11548 def set_threaded(self):
11549 if self.lock is None:
11550 import threading
11551 self.lock = threading.Lock()
11552
◆ bases
◆ lock [1/3]
◆ lock [2/3]
dict lock = self.bases[ctx] |
◆ lock [3/3]
int lock = len(self.bases) + 3 |