Package kodkod.ast.visitor

Examples of kodkod.ast.visitor.VoidVisitor


   * @throws IllegalArgumentException - descendants !in formula.*components
   */
  public static Set<Formula> minRoots(Formula formula, Collection<? extends Node> descendants) {
   
    final Set<Node> desc = new IdentityHashSet<Node>(descendants);
    final VoidVisitor visitor = new AbstractVoidVisitor() {
      final Set<Node> visited = new IdentityHashSet<Node>();
      @Override
      protected boolean visited(Node n) {
        if (visited.add(n)) {
          desc.remove(n);
View Full Code Here

TOP

Related Classes of kodkod.ast.visitor.VoidVisitor

Copyright © 2018 www.massapicom. All rights reserved.
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.