Z3
 
Loading...
Searching...
No Matches
Public Member Functions | Data Fields
PropClosures Class Reference

Public Member Functions

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

Data Fields

 bases
 
 lock
 

Detailed Description

Definition at line 11500 of file z3py.py.

Constructor & Destructor Documentation

◆ __init__()

__init__ (   self)

Definition at line 11501 of file z3py.py.

11501 def __init__(self):
11502 self.bases = {}
11503 self.lock = None
11504

Member Function Documentation

◆ get()

get (   self,
  ctx 
)

Definition at line 11510 of file z3py.py.

11510 def get(self, ctx):
11511 if self.lock:
11512 with self.lock:
11513 r = self.bases[ctx]
11514 else:
11515 r = self.bases[ctx]
11516 return r
11517

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

◆ insert()

insert (   self,
  r 
)

Definition at line 11525 of file z3py.py.

11525 def insert(self, r):
11526 if self.lock:
11527 with self.lock:
11528 id = len(self.bases) + 3
11529 self.bases[id] = r
11530 else:
11531 id = len(self.bases) + 3
11532 self.bases[id] = r
11533 return id
11534
11535

◆ set()

set (   self,
  ctx,
  r 
)

Definition at line 11518 of file z3py.py.

11518 def set(self, ctx, r):
11519 if self.lock:
11520 with self.lock:
11521 self.bases[ctx] = r
11522 else:
11523 self.bases[ctx] = r
11524

◆ set_threaded()

set_threaded (   self)

Definition at line 11505 of file z3py.py.

11505 def set_threaded(self):
11506 if self.lock is None:
11507 import threading
11508 self.lock = threading.Lock()
11509

Field Documentation

◆ bases

bases

Definition at line 11502 of file z3py.py.

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

◆ lock

lock