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 11195 of file z3py.py.

Constructor & Destructor Documentation

◆ __init__()

def __init__ (   self)

Definition at line 11196 of file z3py.py.

11196  def __init__(self):
11197  self.bases = {}
11198  self.lock = None
11199 

Member Function Documentation

◆ get()

def get (   self,
  ctx 
)

Definition at line 11205 of file z3py.py.

11205  def get(self, ctx):
11206  if self.lock:
11207  with self.lock:
11208  r = self.bases[ctx]
11209  else:
11210  r = self.bases[ctx]
11211  return r
11212 

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

◆ insert()

def insert (   self,
  r 
)

Definition at line 11220 of file z3py.py.

11220  def insert(self, r):
11221  if self.lock:
11222  with self.lock:
11223  id = len(self.bases) + 3
11224  self.bases[id] = r
11225  else:
11226  id = len(self.bases) + 3
11227  self.bases[id] = r
11228  return id
11229 
11230 

◆ set()

def set (   self,
  ctx,
  r 
)

Definition at line 11213 of file z3py.py.

11213  def set(self, ctx, r):
11214  if self.lock:
11215  with self.lock:
11216  self.bases[ctx] = r
11217  else:
11218  self.bases[ctx] = r
11219 

◆ set_threaded()

def set_threaded (   self)

Definition at line 11200 of file z3py.py.

11200  def set_threaded(self):
11201  if self.lock is None:
11202  import threading
11203  self.lock = threading.Lock()
11204 

Field Documentation

◆ bases

bases

Definition at line 11197 of file z3py.py.

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

◆ lock

lock