PropClosures Class Reference

Public Member Functions
	__init__ (self)
	set_threaded (self)
	get (self, ctx)
	set (self, ctx, r)
	insert (self, r)

Data Fields
dict	bases = {}
	lock = None

Detailed Description

Definition at line 11795 of file z3py.py.

Constructor & Destructor Documentation

__init__()

__init__

(

self

)

Definition at line 11796 of file z3py.py.

    def __init__(self):
        self.bases = {}
        self.lock = None
 

Member Function Documentation

get()

get	(		self,
			ctx )

Definition at line 11805 of file z3py.py.

    def get(self, ctx):
        if self.lock:
            with self.lock:
                r = self.bases[ctx]
        else:
            r = self.bases[ctx]            
        return r
 

insert()

insert	(		self,
			r )

Definition at line 11820 of file z3py.py.

    def insert(self, r):
        if self.lock:
            with self.lock:
                id = len(self.bases) + 3
                self.bases[id] = r
        else:
            id = len(self.bases) + 3
            self.bases[id] = r
        return id
 
 

set()

set	(		self,
			ctx,
			r )

Definition at line 11813 of file z3py.py.

    def set(self, ctx, r):
        if self.lock:
            with self.lock:
                self.bases[ctx] = r
        else:
            self.bases[ctx] = r
 

set_threaded()

set_threaded

(

self

)

Definition at line 11800 of file z3py.py.

    def set_threaded(self):
        if self.lock is None:
            import threading
            self.lock = threading.Lock()
 

Field Documentation

bases

dict bases = {}

Definition at line 11797 of file z3py.py.

lock

lock = None

Definition at line 11798 of file z3py.py.