translate.simplify.DomainTransitionGraph Class Reference

Inheritance diagram for translate.simplify.DomainTransitionGraph:

Collaboration diagram for translate.simplify.DomainTransitionGraph:

Public Member Functions
def	__init__ (self, init, size)
def	add_arc (self, u, v)
def	reachable (self)
def	dump (self)

Public Attributes
	init
	size
	arcs

---

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

• translate/simplify.py