public class GraphConnectivity extends GraphBuilderAnnotation
Modifier and Type | Field and Description |
---|---|
static String |
FMT |
static String |
HTMLFMT |
Constructor and Description |
---|
GraphConnectivity(Vertex vertex,
int size) |
Modifier and Type | Method and Description |
---|---|
String |
getHTMLMessage() |
String |
getMessage() |
Vertex |
getReferencedVertex() |
getReferencedEdge, toString
public static final String FMT
public static final String HTMLFMT
public GraphConnectivity(Vertex vertex, int size)
public String getMessage()
getMessage
in class GraphBuilderAnnotation
public String getHTMLMessage()
getHTMLMessage
in class GraphBuilderAnnotation
public Vertex getReferencedVertex()
getReferencedVertex
in class GraphBuilderAnnotation
Copyright © 2019. All rights reserved.