ElementUnfold(Expr expr, Var v1, Var v2)
boolean
equalTo(Element el2, NodeIsomorphismMap isoMap)
Expr
getExpr()
Var
getVar1()
getVar2()
int
hashCode()
void
visit(ElementVisitor v)
equals, toString
getClass, notify, notifyAll, wait, wait, wait
equalTo
Element
hashCode
visit