org.grinvin.graphs
Interface Embedding
- EmbeddingView
- MutableEmbeddingModel
- DefaultEmbedding, DefaultEmbeddingModel
public interface Embedding
void | copy(EmbeddingView original) - Make this embedding a copy of the given view using the peer of the original.
|
void | copy(EmbeddingView original, GraphView newPeer) - Make this embedding a copy of the given view using the given peer.
|
void | setCoordinates(Vertex vertex, double[] coordinates) - Sets the coordinates to the given values.
|
void | setDimension(int dimension) - Set the dimension of the embedding.
|
copy
public void copy(EmbeddingView original)
Make this embedding a copy of the given view using the peer of the original.
copy
public void copy(EmbeddingView original,
GraphView newPeer)
Make this embedding a copy of the given view using the given peer. This peer
is supposed to be a copy of the peer in the sense of method
Graph.copy(GraphView)
.
setCoordinates
public void setCoordinates(Vertex vertex,
double[] coordinates)
Sets the coordinates to the given values.
vertex
- Vertex (of the peer) whose coordinates should be changedcoordinates
- Array of coordinates which must be copied.
setDimension
public void setDimension(int dimension)
Set the dimension of the embedding. If this new dimension is different
from the current dimension then coordinates
of embedded vertices should be reasigned to conform to this new value.