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

Constructor & Destructor Documentation

__init__()

__init__

(

self

)

Definition at line 11736 of file z3py.py.

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

Member Function Documentation

get()

get	(		self,
			ctx )

Definition at line 11745 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
 

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

insert()

insert	(		self,
			r )

Definition at line 11760 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 11753 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 11740 of file z3py.py.

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

Field Documentation

bases

bases

Definition at line 11737 of file z3py.py.

lock

lock

Definition at line 11738 of file z3py.py.