fact_groups.GroupCoverQueue Class Reference

List of all members.

Public Member Functions
def	__init__
def	__nonzero__
def	pop
Public Attributes
	groups_by_fact
	groups_by_size
	max_size
	partial_encoding
	top
Private Member Functions
def	_update_top

---

Detailed Description

Definition at line 29 of file fact_groups.py.

---

Constructor & Destructor Documentation

def fact_groups.GroupCoverQueue.__init__	(		self,
			groups,
			partial_encoding,
			unused_groups = []
	)

Definition at line 30 of file fact_groups.py.

---

Member Function Documentation

def fact_groups.GroupCoverQueue.__nonzero__

(

self

)

Definition at line 47 of file fact_groups.py.

def fact_groups.GroupCoverQueue._update_top

(

self

)

[private]

Definition at line 57 of file fact_groups.py.

def fact_groups.GroupCoverQueue.pop

(

self

)

Definition at line 49 of file fact_groups.py.

---

Member Data Documentation

fact_groups.GroupCoverQueue::groups_by_fact

Definition at line 30 of file fact_groups.py.

fact_groups.GroupCoverQueue::groups_by_size

Definition at line 30 of file fact_groups.py.

fact_groups.GroupCoverQueue::max_size

Definition at line 30 of file fact_groups.py.

fact_groups.GroupCoverQueue::partial_encoding

Definition at line 30 of file fact_groups.py.

fact_groups.GroupCoverQueue::top

Definition at line 57 of file fact_groups.py.

---

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

• fact_groups.py