JaCoPiterSearch.java File Reference

import java.util.concurrent.locks.Condition;
import java.util.concurrent.locks.Lock;
import org.jacop.core.IntVarCloneable;
import org.jacop.core.StoreCloneable;
import org.jacop.search.DepthFirstSearch;
import org.jacop.search.IndomainMin;
import org.jacop.search.MostConstrainedDynamic;
import org.jacop.search.SimpleSelect;
import org.jacop.search.SmallestDomain;
import frodo2.solutionSpaces.Addable;

Include dependency graph for JaCoPiterSearch.java:

Classes
class	frodo2.solutionSpaces.JaCoP.JaCoPiterSearch< V extends Addable< V > >
	A wrapper around a JaCoP DepthFirstSearch that is used to run this search in a new thread. More...

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