Package | Description |
---|---|
org.wandora.application.gui.topicpanels.graphpanel |
Modifier and Type | Field and Description |
---|---|
private java.util.HashSet<TopicNode> |
GraphFilter.filteredEdgeTypes |
private java.util.HashSet<TopicNode> |
GraphFilter.filteredNodes |
private java.util.HashSet<TopicNode> |
GraphFilter.filteredTypes |
private TopicHashMap<TopicNode> |
TopicMapModel.topicIndex |
Modifier and Type | Method and Description |
---|---|
TopicNode |
TopicMapModel.getNodeFor(Topic t) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<TopicNode> |
GraphFilter.getFilteredEdgeTypes() |
java.util.Collection<TopicNode> |
GraphFilter.getFilteredNodes() |
java.util.Collection<TopicNode> |
GraphFilter.getFilteredNodeTypes() |
Modifier and Type | Method and Description |
---|---|
void |
GraphFilter.filterEdgeType(TopicNode type) |
void |
GraphFilter.filterNode(TopicNode tn) |
void |
GraphFilter.filterNodesOfType(TopicNode type) |
java.awt.Color |
DefaultGraphStyle.getNodeColor(TopicNode n) |
void |
GraphFilter.releaseEdgeType(TopicNode type) |
void |
GraphFilter.releaseNode(TopicNode tn) |
void |
GraphFilter.releaseNodesOfType(TopicNode type) |
Copyright 2004-2015 Wandora Team