Z3
Public Member Functions | Data Fields
PropClosures Class Reference

Public Member Functions

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

Data Fields

 bases
 
 lock
 

Detailed Description

Definition at line 11305 of file z3py.py.

Constructor & Destructor Documentation

◆ __init__()

def __init__ (   self)

Definition at line 11306 of file z3py.py.

11306 def __init__(self):
11307 self.bases = {}
11308 self.lock = None
11309

Member Function Documentation

◆ get()

def get (   self,
  ctx 
)

Definition at line 11315 of file z3py.py.

11315 def get(self, ctx):
11316 if self.lock:
11317 with self.lock:
11318 r = self.bases[ctx]
11319 else:
11320 r = self.bases[ctx]
11321 return r
11322

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

◆ insert()

def insert (   self,
  r 
)

Definition at line 11330 of file z3py.py.

11330 def insert(self, r):
11331 if self.lock:
11332 with self.lock:
11333 id = len(self.bases) + 3
11334 self.bases[id] = r
11335 else:
11336 id = len(self.bases) + 3
11337 self.bases[id] = r
11338 return id
11339
11340

◆ set()

def set (   self,
  ctx,
  r 
)

Definition at line 11323 of file z3py.py.

11323 def set(self, ctx, r):
11324 if self.lock:
11325 with self.lock:
11326 self.bases[ctx] = r
11327 else:
11328 self.bases[ctx] = r
11329

◆ set_threaded()

def set_threaded (   self)

Definition at line 11310 of file z3py.py.

11310 def set_threaded(self):
11311 if self.lock is None:
11312 import threading
11313 self.lock = threading.Lock()
11314

Field Documentation

◆ bases

bases

Definition at line 11307 of file z3py.py.

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

◆ lock

lock