Z3
Public Member Functions | Data Fields
PropClosures Class Reference

Public Member Functions

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

Data Fields

 bases
 
 lock
 

Detailed Description

Definition at line 10508 of file z3py.py.

Constructor & Destructor Documentation

◆ __init__()

def __init__ (   self)

Definition at line 10509 of file z3py.py.

10509  def __init__(self):
10510  self.bases = {}
10511  self.lock = None
10512 

Member Function Documentation

◆ get()

def get (   self,
  ctx 
)

Definition at line 10518 of file z3py.py.

10518  def get(self, ctx):
10519  if self.lock: self.lock.acquire()
10520  r = self.bases[ctx]
10521  if self.lock: self.lock.release()
10522  return r
10523 

◆ insert()

def insert (   self,
  r 
)

Definition at line 10529 of file z3py.py.

10529  def insert(self, r):
10530  if self.lock: self.lock.acquire()
10531  id = len(self.bases) + 3
10532  self.bases[id] = r
10533  if self.lock: self.lock.release()
10534  return id
10535 

◆ set()

def set (   self,
  ctx,
  r 
)

Definition at line 10524 of file z3py.py.

10524  def set(self, ctx, r):
10525  if self.lock: self.lock.acquire()
10526  self.bases[ctx] = r
10527  if self.lock: self.lock.release()
10528 

◆ set_threaded()

def set_threaded ( )

Definition at line 10513 of file z3py.py.

10513  def set_threaded():
10514  if self.lock is None:
10515  import threading
10516  self.lock = threading.thread.Lock()
10517 

Field Documentation

◆ bases

bases

Definition at line 10510 of file z3py.py.

Referenced by PropClosures.get(), PropClosures.insert(), and PropClosures.set().

◆ lock

lock
z3py.UserPropagateBase.__init__
def __init__(self, s, ctx=None)
Definition: z3py.py:10597