package layering
- Alphabetic
- Public
- All
Type Members
- class CrossingCalculator extends AnyRef
-
class
DummyVertex extends Vertex
A vertex used as a bend point when an edge passes through a layer.
- class Edge extends AnyRef
- case class Layer(vertices: List[Vertex]) extends Product with Serializable
-
case class
Layering(layers: List[Layer], edges: List[Edge]) extends Product with Serializable
Layering is a division of vertices into layers and the edges between them
Layering is a division of vertices into layers and the edges between them
Each edge goes between two adjacent layers
-
class
LayeringCalculator[V] extends AnyRef
Assign vertices to layers so that, if there is an edge between two vertices, the source vertex is in an earlier layer than the target.
Assign vertices to layers so that, if there is an edge between two vertices, the source vertex is in an earlier layer than the target.
In addition, dummy vertices are generated for edges that span multiple layers, corresponding to bends in the displayed edge.
Layers are assigned using longest-path layering, with each vertex assigned to a layer corresponding to the longest path from that vertex to a sink.
- class RealVertex extends Vertex
- sealed abstract class Vertex extends AnyRef
Value Members
- object Edge
-
object
LayerOrderingCalculator
Reorder the vertices in each layer in an attempt to minimise crossings.
- object LongestDistancesToSinkCalculator