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

Constructor & Destructor Documentation

◆ __init__()

__init__ (   self)

Definition at line 11418 of file z3py.py.

11418 def __init__(self):
11419 self.bases = {}
11420 self.lock = None
11421

Member Function Documentation

◆ get()

get (   self,
  ctx 
)

Definition at line 11427 of file z3py.py.

11427 def get(self, ctx):
11428 if self.lock:
11429 with self.lock:
11430 r = self.bases[ctx]
11431 else:
11432 r = self.bases[ctx]
11433 return r
11434

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

◆ insert()

insert (   self,
  r 
)

Definition at line 11442 of file z3py.py.

11442 def insert(self, r):
11443 if self.lock:
11444 with self.lock:
11445 id = len(self.bases) + 3
11446 self.bases[id] = r
11447 else:
11448 id = len(self.bases) + 3
11449 self.bases[id] = r
11450 return id
11451
11452

◆ set()

set (   self,
  ctx,
  r 
)

Definition at line 11435 of file z3py.py.

11435 def set(self, ctx, r):
11436 if self.lock:
11437 with self.lock:
11438 self.bases[ctx] = r
11439 else:
11440 self.bases[ctx] = r
11441

◆ set_threaded()

set_threaded (   self)

Definition at line 11422 of file z3py.py.

11422 def set_threaded(self):
11423 if self.lock is None:
11424 import threading
11425 self.lock = threading.Lock()
11426

Field Documentation

◆ bases

bases

Definition at line 11419 of file z3py.py.

◆ lock

lock

Definition at line 11420 of file z3py.py.