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