@Override public boolean equalTo(Element el2, NodeIsomorphismMap isoMap) { if ( el2 == null ) return false ; if ( ! ( el2 instanceof ElementNotExists ) ) return false ; ElementNotExists unsaid2 = (ElementNotExists)el2 ; if ( ! this.getElement().equalTo(unsaid2.getElement(), isoMap) ) return false ; return true ; }
@Override public boolean equalTo(Element el2, NodeIsomorphismMap isoMap) { if ( el2 == null ) return false ; if ( ! ( el2 instanceof ElementNotExists ) ) return false ; ElementNotExists unsaid2 = (ElementNotExists)el2 ; if ( ! this.getElement().equalTo(unsaid2.getElement(), isoMap) ) return false ; return true ; }
@Override public int hashCode() { return getElement().hashCode() ^ Element.HashNotExists ; }
@Override public void visit(ElementNotExists e) { e.getElement().visit(this); }
@Override public int hashCode() { return getElement().hashCode() ^ Element.HashNotExists ; }
@Override public void visit(ElementNotExists notExists) { Element arg = notExists.getElement(); arg.visit(this); result = new ElementNotExists(result); }
@Override public void visit(ElementNotExists e) { e.getElement().visit(this); result = new ElementNotExists(result); }
@Override public void visit(ElementNotExists e) { e.getElement().visit(this); result = new ElementNotExists(result); }
@Override public void visit(ElementNotExists notExists) { notExists.getElement().visit(this); result = new ElementNotExists(result); }
@Override public final void visit(ElementNotExists el) { startElement(el) ; el.getElement().visit(this) ; endElement(el) ; }
public final void visit(ElementNotExists el) { startElement(el) ; el.getElement().visit(this) ; endElement(el) ; }
@Override public void visit(ElementNotExists el) { MultiSet<Var> vars = new MultiSet<Var>(); PatternVars.vars(vars, el.getElement()); add(vars); }
private Op compileElementNotExists(Op current, ElementNotExists elt2) { Op op = compile(elt2.getElement()) ; // "compile", not "compileElement" -- do simpliifcation Expr expr = new E_Exists(elt2, op) ; expr = new E_LogicalNot(expr) ; return OpFilter.filter(expr, current) ; }
protected Op compileElementNotExists(Op current, ElementNotExists elt2) { Op op = compile(elt2.getElement()) ; // "compile", not "compileElement" -- do simpliifcation Expr expr = new E_Exists(elt2, op) ; expr = new E_LogicalNot(expr) ; return OpFilter.filter(expr, current) ; }
public void visit(ElementNotExists arg0) { log(arg0); arg0.getElement().visit(ElementVisitorImplementation.this); }