Package frodo2.solutionSpaces.JaCoP

Package handling the interface with the JaCoP solver. More...

Packages
package	tests
	The hypercube tests.

Classes
class	ExtensionalSupportHypercube
	A JaCoP extensional constraint encoded by a hypercube for faster lookups. More...
class	IterSolutionListener
	This solution listener is a part of the JaCoPutilSpace iterator that allows us to simulate a JaCoP master/slave search combination where the slave is an optimization search while the master is not. More...
class	JaCoPiterSearch
	A wrapper around a JaCoP DepthFirstSearch that is used to run this search in a new thread. More...
class	JaCoPoptAssignments
	Conditional optimal assignment(s) to several variables. More...
class	JaCoPproblem
	A DCOP problem that is defined using JaCoP variables and constraints. More...
class	JaCoPutilSpace
	A UtilitySolutionSpace based on JaCoP as a local solver. More...
class	JaCoPutilSpaceIter
	A solution iterator for JaCoPutilSpace. More...
class	JaCoPutilSpaceIter2
	A solution iterator for JaCoPutilSpace that runs a JaCoP search in an extra thread. More...
class	JaCoPutilSpaceIterBestFirst
	A solution iterator in best first order for JaCoPutilSpace. More...
class	JaCoPxcspParser
	An XCSP parser that generates spaces based on JaCoP. More...
class	Predicate
	Predicate wrapper that translates a predicate expression from XCSP into constraints available in JaCoP. More...

Detailed Description

Package handling the interface with the JaCoP solver.