Z3
 
Loading...
Searching...
No Matches
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 11369 of file z3py.py.

Constructor & Destructor Documentation

◆ __init__()

def __init__ (   self)

Definition at line 11370 of file z3py.py.

11370 def __init__(self):
11371 self.bases = {}
11372 self.lock = None
11373

Member Function Documentation

◆ get()

def get (   self,
  ctx 
)

Definition at line 11379 of file z3py.py.

11379 def get(self, ctx):
11380 if self.lock:
11381 with self.lock:
11382 r = self.bases[ctx]
11383 else:
11384 r = self.bases[ctx]
11385 return r
11386

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

◆ insert()

def insert (   self,
  r 
)

Definition at line 11394 of file z3py.py.

11394 def insert(self, r):
11395 if self.lock:
11396 with self.lock:
11397 id = len(self.bases) + 3
11398 self.bases[id] = r
11399 else:
11400 id = len(self.bases) + 3
11401 self.bases[id] = r
11402 return id
11403
11404

◆ set()

def set (   self,
  ctx,
  r 
)

Definition at line 11387 of file z3py.py.

11387 def set(self, ctx, r):
11388 if self.lock:
11389 with self.lock:
11390 self.bases[ctx] = r
11391 else:
11392 self.bases[ctx] = r
11393

◆ set_threaded()

def set_threaded (   self)

Definition at line 11374 of file z3py.py.

11374 def set_threaded(self):
11375 if self.lock is None:
11376 import threading
11377 self.lock = threading.Lock()
11378

Field Documentation

◆ bases

bases

Definition at line 11371 of file z3py.py.

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

◆ lock

lock