Z3
 
Loading...
Searching...
No Matches
PropClosures Class Reference

Public Member Functions

 __init__ (self)
 
 set_threaded (self)
 
 get (self, ctx)
 
 set (self, ctx, r)
 
 insert (self, r)
 

Data Fields

dict bases = {}
 
 lock = None
 
dict lock = self.bases[ctx]
 
int lock = len(self.bases) + 3
 

Detailed Description

Definition at line 11590 of file z3py.py.

Constructor & Destructor Documentation

◆ __init__()

__init__ ( self)

Definition at line 11591 of file z3py.py.

11591 def __init__(self):
11592 self.bases = {}
11593 self.lock = None
11594

Member Function Documentation

◆ get()

get ( self,
ctx )

Definition at line 11600 of file z3py.py.

11600 def get(self, ctx):
11601 if self.lock:
11602 with self.lock:
11603 r = self.bases[ctx]
11604 else:
11605 r = self.bases[ctx]
11606 return r
11607

Referenced by Goal.__getitem__(), and Goal.as_expr().

◆ insert()

insert ( self,
r )

Definition at line 11615 of file z3py.py.

11615 def insert(self, r):
11616 if self.lock:
11617 with self.lock:
11618 id = len(self.bases) + 3
11619 self.bases[id] = r
11620 else:
11621 id = len(self.bases) + 3
11622 self.bases[id] = r
11623 return id
11624
11625

◆ set()

set ( self,
ctx,
r )

Definition at line 11608 of file z3py.py.

11608 def set(self, ctx, r):
11609 if self.lock:
11610 with self.lock:
11611 self.bases[ctx] = r
11612 else:
11613 self.bases[ctx] = r
11614

◆ set_threaded()

set_threaded ( self)

Definition at line 11595 of file z3py.py.

11595 def set_threaded(self):
11596 if self.lock is None:
11597 import threading
11598 self.lock = threading.Lock()
11599

Field Documentation

◆ bases

dict bases = {}

Definition at line 11592 of file z3py.py.

◆ lock [1/3]

lock = None

Definition at line 11593 of file z3py.py.

◆ lock [2/3]

dict lock = self.bases[ctx]

Definition at line 11602 of file z3py.py.

◆ lock [3/3]

int lock = len(self.bases) + 3

Definition at line 11617 of file z3py.py.