ctrump::memoptree::MemoryOperation Class Reference

Public Member Functions
def	__init__
def	optimize
Data Fields
	tree
	invariants

---

Detailed Description

Definition at line 461 of file memoptree.py.

---

Member Function Documentation

def ctrump::memoptree::MemoryOperation::__init__	(		self,
			tree,
			invariants
	)

Definition at line 462 of file memoptree.py.

def ctrump::memoptree::MemoryOperation::optimize

(

self

)

Definition at line 466 of file memoptree.py.

---

Field Documentation

ctrump::memoptree::MemoryOperation::tree

Definition at line 463 of file memoptree.py.

ctrump::memoptree::MemoryOperation::invariants

Definition at line 464 of file memoptree.py.

---

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

• python/ctrump/memoptree.py