JaCoPutilSpaceIter2.java File Reference

import org.jacop.core.IntDomain;
import org.jacop.core.IntVarCloneable;
import org.jacop.core.IntervalDomain;
import org.jacop.core.StoreCloneable;
import frodo2.solutionSpaces.Addable;
import frodo2.solutionSpaces.AddableInteger;
import frodo2.solutionSpaces.UtilitySolutionSpace.SparseIterator;
import java.util.Arrays;
import java.util.concurrent.locks.Condition;
import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;

Include dependency graph for JaCoPutilSpaceIter2.java:

Classes
class	frodo2.solutionSpaces.JaCoP.JaCoPutilSpaceIter2< V extends Addable< V > >
	A solution iterator for JaCoPutilSpace that runs a JaCoP search in an extra thread. More...

Packages
package	frodo2.solutionSpaces.JaCoP
	Package handling the interface with the JaCoP solver.