@Override public int hashCode() { return hashZeroOrMoreN ^ getSubPath().hashCode() ; }
@Override public boolean equalTo(Path path2, NodeIsomorphismMap isoMap) { if ( ! ( path2 instanceof P_ZeroOrMore1 ) ) return false ; P_ZeroOrMore1 other = (P_ZeroOrMore1)path2 ; return getSubPath().equalTo(other.getSubPath(), isoMap) ; }
@Override public void visit(P_ZeroOrMore1 path) { engine.doZeroOrMore(path.getSubPath(), node, output) ; }
@Override public void visit(P_ZeroOrMore1 path) { writePath(Tags.tagPathZeroOrMore1, path.getSubPath()) ; }
@Override public void visit(P_ZeroOrMore1 path) { printPathMod("*", path.getSubPath()) ; }
@Override public void visit(P_ZeroOrMore1 p) { new P_OneOrMore1(p.getSubPath()).visit(this); List<Rule> rules = result; Predicate oneOrMorePred = resultMainPredicate; Predicate newpred = new Predicate(idpPredicateGen.createNewVariable(), 2); VariableExpr x = new VariableExpr("X"); VariableExpr y = new VariableExpr("Y"); rules.add(new Rule(new AtomicFormula(newpred, x, y), ruleid++, new AtomicFormula(new Predicate(Rule.BUILT_IN_EQUAL, 2), x, y))); rules.add(new Rule(new AtomicFormula(newpred, x, y), ruleid++, new AtomicFormula(oneOrMorePred, x, y))); result = rules; resultMainPredicate = newpred; }