greedy_join.OccurrencesTracker Class Reference

List of all members.

Public Member Functions
def	__init__
def	update
def	variables
Public Attributes
	occurrences

---

Detailed Description

Keeps track of the number of times each variable appears
in a list of symbolic atoms.

Definition at line 6 of file greedy_join.py.

---

Constructor & Destructor Documentation

def greedy_join.OccurrencesTracker.__init__	(		self,
			rule
	)

Definition at line 9 of file greedy_join.py.

---

Member Function Documentation

def greedy_join.OccurrencesTracker.update	(		self,
			symatom,
			delta
	)

Definition at line 14 of file greedy_join.py.

def greedy_join.OccurrencesTracker.variables

(

self

)

Definition at line 23 of file greedy_join.py.

---

Member Data Documentation

greedy_join.OccurrencesTracker::occurrences

Definition at line 9 of file greedy_join.py.

---

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

• greedy_join.py