void function ( DF_Equation arg0 ) { Iterator < DF_Equation > loc0 = arg0 . getLHS ( ) . getUses ( ) ; while ( loc0 . hasNext ( ) ) { workList . add ( loc0 . next ( ) ) ; } }
update the worklist , assuming that a particular equation has been re-evaluated concode_field_sep Graph equations concode_elem_sep boolean EAGER concode_elem_sep DF_Solution cells concode_elem_sep boolean DEBUG concode_elem_sep Comparator<DF_Equation> dfComparator concode_elem_sep HashSet<DF_Equation> newEquations concode_elem_sep TreeSet<DF_Equation> workList concode_field_sep void numberEquationsTopological concode_elem_sep int compare concode_elem_sep void addToWorkList concode_elem_sep void changedCell concode_elem_sep DF_LatticeCell getCell concode_elem_sep void initializeWorkList concode_elem_sep DF_Solution getSolution concode_elem_sep void addAllEquationsToWorkList concode_elem_sep int getNumberOfEquations concode_elem_sep DF_LatticeCell findOrCreateCell concode_elem_sep DF_LatticeCell makeCell concode_elem_sep Enumeration<DF_Equation> getEquations concode_elem_sep void addEquation concode_elem_sep void solve concode_elem_sep void initializeLatticeCells concode_elem_sep String toString concode_elem_sep void addNewEquationsToWorkList concode_elem_sep void showGraphStats concode_elem_sep void addCellAppearancesToWorkList concode_elem_sep void newEquation concode_elem_sep void newEquation concode_elem_sep void newEquation concode_elem_sep void newEquation