Public Member Functions | Public Attributes
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.

Definition at line 23 of file greedy_join.py.


Member Data Documentation

Definition at line 9 of file greedy_join.py.


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


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06