public class ElementNamedGraph extends Element
Constructor and Description |
---|
ElementNamedGraph(Element el) |
ElementNamedGraph(Node n,
Element el) |
Modifier and Type | Method and Description |
---|---|
boolean |
equalTo(Element el2,
NodeIsomorphismMap isoMap) |
Element |
getElement() |
Node |
getGraphNameNode() |
int |
hashCode() |
void |
visit(ElementVisitor v) |
public ElementNamedGraph(Element el)
public Node getGraphNameNode()
public Element getElement()
public boolean equalTo(Element el2, NodeIsomorphismMap isoMap)
public void visit(ElementVisitor v)
Licenced under the Apache License, Version 2.0