public class ElementFilter extends Element
Constructor and Description |
---|
ElementFilter(Expr expr) |
Modifier and Type | Method and Description |
---|---|
boolean |
equalTo(Element el2,
NodeIsomorphismMap isoMap) |
Expr |
getExpr() |
int |
hashCode() |
void |
visit(ElementVisitor v) |
public ElementFilter(Expr expr)
public Expr getExpr()
public void visit(ElementVisitor v)
public boolean equalTo(Element el2, NodeIsomorphismMap isoMap)
Licenced under the Apache License, Version 2.0