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