com.sun.electric.tool.ncc.lists
Class LeafList
java.lang.Object
com.sun.electric.tool.ncc.lists.RecordList
com.sun.electric.tool.ncc.lists.LeafList
public class LeafList
- extends RecordList
A list of the equivalence records that are newly created leaves
of the equivalence record tree.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LeafList
public LeafList()
add
public void add(EquivRecord r)
- Overrides:
add
in class RecordList
sortByIncreasingSize
public void sortByIncreasingSize()
sizeInfoString
public java.lang.String sizeInfoString()
- Returns:
- a string containing useful debugging information.
selectActive
public LeafList selectActive(NccGlobals globals)
- Returns:
- a LeafList, possibly empty, of EquivRecords that aren't
matched nor mismatched.
selectMatched
public LeafList selectMatched(NccGlobals globals)
- Returns:
- a LeafList, possibly empty, of those that are matched.