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

Detailed Description

Definition at line 11653 of file z3py.py.

Constructor & Destructor Documentation

◆ __init__()

__init__ ( self)

Definition at line 11654 of file z3py.py.

11654 def __init__(self):
11655 self.bases = {}
11656 self.lock = None
11657

Member Function Documentation

◆ get()

get ( self,
ctx )

Definition at line 11663 of file z3py.py.

11663 def get(self, ctx):
11664 if self.lock:
11665 with self.lock:
11666 r = self.bases[ctx]
11667 else:
11668 r = self.bases[ctx]
11669 return r
11670

◆ insert()

insert ( self,
r )

Definition at line 11678 of file z3py.py.

11678 def insert(self, r):
11679 if self.lock:
11680 with self.lock:
11681 id = len(self.bases) + 3
11682 self.bases[id] = r
11683 else:
11684 id = len(self.bases) + 3
11685 self.bases[id] = r
11686 return id
11687
11688

◆ set()

set ( self,
ctx,
r )

Definition at line 11671 of file z3py.py.

11671 def set(self, ctx, r):
11672 if self.lock:
11673 with self.lock:
11674 self.bases[ctx] = r
11675 else:
11676 self.bases[ctx] = r
11677

◆ set_threaded()

set_threaded ( self)

Definition at line 11658 of file z3py.py.

11658 def set_threaded(self):
11659 if self.lock is None:
11660 import threading
11661 self.lock = threading.Lock()
11662

Field Documentation

◆ bases

dict bases = {}

Definition at line 11655 of file z3py.py.

◆ lock

lock = None

Definition at line 11656 of file z3py.py.