translate.greedy_join.OccurrencesTracker Class Reference

Inheritance diagram for translate.greedy_join.OccurrencesTracker:

Collaboration diagram for translate.greedy_join.OccurrencesTracker:

Public Member Functions
def	__init__ (self, rule)
def	update (self, symatom, delta)
def	variables (self)

Public Attributes
	occurrences

Detailed Description

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

---

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

• translate/greedy_join.py