pump.Env Class Reference

Public Member Functions
def	__init__ (self)
def	Clone (self)
def	EvalExp (self, exp)
def	GetRange (self, identifier)
def	GetValue (self, identifier)
def	PopRange (self)
def	PopVariable (self)
def	PushRange (self, var, lower, upper)
def	PushVariable (self, var, value)

Public Attributes
	ranges
	variables

Detailed Description

Definition at line 584 of file pump.py.

Constructor & Destructor Documentation

__init__()

def pump.Env.__init__

(

self

)

Definition at line 585 of file pump.py.

Member Function Documentation

Clone()

def pump.Env.Clone

(

self

)

Definition at line 589 of file pump.py.

EvalExp()

def pump.Env.EvalExp	(		self,
			exp
	)

Definition at line 622 of file pump.py.

GetRange()

def pump.Env.GetRange	(		self,
			identifier
	)

Definition at line 632 of file pump.py.

GetValue()

def pump.Env.GetValue	(		self,
			identifier
	)

Definition at line 614 of file pump.py.

PopRange()

def pump.Env.PopRange

(

self

)

Definition at line 611 of file pump.py.

PopVariable()

def pump.Env.PopVariable

(

self

)

Definition at line 605 of file pump.py.

PushRange()

def pump.Env.PushRange	(		self,
			var,
			lower,
			upper
	)

Definition at line 608 of file pump.py.

PushVariable()

def pump.Env.PushVariable	(		self,
			var,
			value
	)

Definition at line 595 of file pump.py.

Member Data Documentation

ranges

pump.Env.ranges

Definition at line 587 of file pump.py.

variables

pump.Env.variables

Definition at line 586 of file pump.py.

---

The documentation for this class was generated from the following file:

• pump.py