translate.build_model.Queue Class Reference

Public Member Functions
def	__init__ (self, atoms)
def	__nonzero__ (self)
def	push (self, predicate, args)
def	pop (self)
def	popped_elements (self)

Public Attributes
	queue
	queue_pos
	enqueued

---

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

• translate/build_model.py