Package | Description |
---|---|
conexp.fx.gui.graph |
Modifier and Type | Class and Description |
---|---|
protected class |
ConceptGraph.ConceptEdge |
Modifier and Type | Field and Description |
---|---|
protected Queue<Graph.Edge> |
Graph.Controller.addEdges |
protected Map<Pair<T,T>,Graph.Edge> |
Graph.edges |
protected Set<Graph.Edge> |
Graph.Controller.pendingEdges |
protected Set<Pair<Graph.Vertex,Graph.Edge>> |
Graph.Vertex.pendingVertices |
Modifier and Type | Method and Description |
---|---|
protected Collection<Graph.Edge> |
Graph.lowerEdges(T element) |
protected Collection<Graph.Edge> |
Graph.upperEdges(T element) |
Modifier and Type | Method and Description |
---|---|
protected javafx.animation.Transition |
Graph.Controller.fadeIn(Graph.Edge e) |
Copyright © 2010–2023 Francesco Kriegel. All rights reserved.