Package kodkod.util.ints

Examples of kodkod.util.ints.IntSet.removeAll()

75
76
77
78
79
80
81
82
83
84
85
        IntSet exclude = coreClausesWithMaxVar(trace, maxVar);
        assert !exclude.isEmpty();
        //  get all clauses reachable from the conflict clause
        IntSet next = trace.reachable(Ints.singleton(trace.size()-1));
        // remove all clauses backward reachable from the clauses with the given maxVar
        next.removeAll(trace.backwardReachable(exclude));
        if (!next.isEmpty()) {
          return next;
        }
      }
    }
View Full Code Here
76
77
78
79
80
81
82
83
84
85
86
      int index = iter.next();
      if (excluded.add(trace.get(index))) { // haven't tried excluding this one
        // get all clauses reachable from the conflict clause
        IntSet next = trace.reachable(Ints.singleton(trace.size()-1));
        // remove all clauses backward reachable from the excluded clause
        next.removeAll(trace.backwardReachable(Ints.singleton(index)));
        return next;
      }
    }
   
    return Ints.EMPTY_SET;
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.