/** The finite branch points of the curve */
public Set<Point2D> getFiniteBranches() {
if (this.branches == null) return new HashSet<Point2D>();
Set<Point2D> branches = new HashSet<Point2D>(this.branches);
branches.remove(INFINITY);
return branches;
}
private void addPainter(myjava.gui.syntax.Painter painter) {
EntryListPanel newPanel = new EntryListPanel(painter);
listPanelSet.add(newPanel);
centerPanel.add(newPanel, painter.getName());
painterComboBox.removeItemListener(painterChangeListener);
painterComboBox.removeAllItems();
for (EntryListPanel p : listPanelSet) {
painterComboBox.addItem(p.getPainter());
}
removedPainters.remove(painter);
painterComboBox.addItemListener(painterChangeListener);
}
public static void removeChangeListener(ChangeListener cl) {
if (changeListeners.contains(cl)) {
changeListeners.remove(cl);
}
}
/**
* Call when an expanded node has gone missing
*
* @param c The config that is gone
*/
void nodeRemoved(Config c) {
expandedNodes.remove(c);
}
public void removeLeaf(NodeElement element) {
myLeaves.remove(element);
}
