Examples of kodkod.ast.Formula.accept()

kodkod.ast.Formula.accept()
Accepts the given visitor and returns the result. @see kodkod.ast.Node#accept(kodkod.ast.visitor.ReturnVisitor)

    
    final Formula[] visited = new Formula[bf.size()];
    boolean allSame = true;
    for(int i = 0; i < visited.length; i++) { 
      final Formula child = bf.child(i);
      visited[i] = child.accept(this);
      allSame = allSame && (child==visited[i]);
    }
    ret = allSame ? bf : Formula.compose(op, visited);
    
    skolemDepth = oldDepth;

View Full Code Here

        break;
      default :
        throw new IllegalArgumentException("Unknown operator: " + binFormula.op());
      }  
      
      if (lvisit) { l.accept(this); }
      if (rvisit) { r.accept(this); }
    }
    
    /**
     * If this formula should be visited, then we visit its children only

View Full Code Here

    
    final Formula[] visited = new Formula[formula.size()];
    boolean allSame = true;
    for(int i = 0 ; i < visited.length; i++) { 
      final Formula child = formula.child(i);
      visited[i] = child.accept(this);
      allSame = allSame && visited[i]==child;
    }
    
    ret = allSame ? formula : Formula.compose(formula.op(), visited);
    return cache(formula,ret);

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.