translate.fact_groups.GroupCoverQueue Class Reference

Public Member Functions
def	__init__ (self, groups, partial_encoding, unused_groups=[])
def	__nonzero__ (self)
def	pop (self)

Public Attributes
	partial_encoding
	max_size
	groups_by_size
	groups_by_fact
	top

Private Member Functions
def	_update_top (self)

---

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

• translate/fact_groups.py