Package org.jacop.search

Interface Summary

Interface	Description
ComparatorVariable<T extends Var>	Defines an interface for comparing variables.
ConsistencyListener	Defines an interface of an object which can be plugined into the search right after executing the consistency function (at the beginning of each search node).
ExitChildListener<T extends Var>	Defines a listener which is called by the search if a child node is exited.
ExitListener	This listener is executed when search has finished executing is about to exit the labeling procedure.
Indomain<T extends Var>	Defines a interface for different indomain enumeration methods.
InitializeListener	This listener is executed when search has began executing and it is about to enter the labeling procedure.
Search<T extends Var>	All searches needs to implement this interface in order to be manipulable by a large variety of search listeners.
SelectChoicePoint<T extends Var>	Defines an interface for defining different methods for selecting next search decision to be taken.
SolutionListener<T extends Var>	Defines an interface which needs to be implemented by all classes which wants to be informed about the solution.
TimeOutListener	It defines an interface of the class which wants to be informed about timeout occurring during search, as well as the number of solutions found before timeout has occurred.

Class Summary

Class	Description
ActivityMax<T extends Var>	Defines a pruning activity comparatorfor variables.
ActivityMaxDeg<T extends Var>	Defines a pruning activity comparatorfor variables.
ActivityMin<T extends Var>	Defines a pruning activity comparatorfor variables.
ActivityMinDeg<T extends Var>	Defines a pruning activity comparatorfor variables.
AFCMax<T extends Var>	Defines a AccumulatedFailureCount comparator (afc) for variables.
AFCMaxDeg<T extends Var>	Defines a AccumulatedFailureCount comparator (afc) for variables.
AFCMin<T extends Var>	Defines a AccumulatedFailureCount comparator (afc) for variables.
AFCMinDeg<T extends Var>	Defines a AccumulatedFailureCount comparator (afc) for variables.
CreditCalculator<T extends Var>	Defines functionality of credit search.
DepthFirstSearch<T extends Var>	Implements Depth First Search with number of possible plugins (listeners) to be attached to modify the search.
FailConstraintsStatistics<T extends Var>	Defines functionality for FailConstraintsStatistics plug-in, that collects statistics on the failed constraints; both for each individual constraint as well as a class of constraints.
IndomainDefaultValue<T extends Var>	IndomainDefaultValue - implements enumeration method based on the selection of the default value for each variable first.
IndomainHierarchical<T extends Var>	IndomainHierarchical - implements enumeration method based on the selection of the preferred indomain for each variable.
IndomainList<T extends IntVar>	IndomainList - implements enumeration method based on the selection of the preferred values for each variable.
IndomainMax<T extends IntVar>	IndomainMax - implements enumeration method based on the selection of the maximal value in the domain of the variable.
IndomainMedian<T extends IntVar>	IndomainMedian - implements enumeration method based on the selection of the median value in the domain of FD variable and then right and left values.
IndomainMiddle<T extends IntVar>	IndomainMiddle - implements enumeration method based on the selection of the middle value in the domain of FD variable and then right and left values.
IndomainMin<T extends IntVar>	IndomainMin - implements enumeration method based on the selection of the minimal value in the domain of variable
IndomainRandom<T extends IntVar>	IndomainRandom - implements enumeration method based on the selection of the random value in the domain of FD variable.
IndomainSimpleRandom<T extends IntVar>	IndomainRandom - implements enumeration method based on the selection of the random value in the domain of FD variable.
InputOrderSelect<T extends Var>	It is simple input order selector of variables.
LargestDomain<T extends Var>	Defines LargestDomain comparator for Variables.
LargestMax<T extends IntVar>	Defines a LargestMax comparator for Variables.
LargestMin<T extends IntVar>	Defines a LargestMin comparator for Variables.
LDS<T extends Var>	Defines functionality of limited discrepancy search.
MaxRegret<T extends IntVar>	Defines a MaxRegret comparator for Variables.
MinDomainOverDegree<T extends Var>	Defines a MinDomainOverDegree comparator for Variables.
MostConstrainedDynamic<T extends Var>	Defines a MostConstrainedDynamic comparator for Variables.
MostConstrainedStatic<T extends Var>	Defines a MostConstraintStatic comparator for Variables.
NoGoodsCollector<T extends IntVar>	NoGoodCollector collects no-goods from search when timeout has occurred.
OneSolution<T extends Var>	Defines functionality for OneSolution plug-in, that is the search with this plug-in will stop after funding first solution.
PrintOutListener<T extends Var>	It is a simple example how it is possible to extend existing listeners to add your own functionality.
PrioritySearch<T extends Var>	PrioritySearch selects first a row in the matrix based on metric of the variable at the pririty vector.
RandomSelect<T extends Var>	It is simple and customizable selector of decisions (constraints) which will be enforced by search.
RandomVar<T extends Var>	Defines a RandomVar comparator for variables.
Shaving<T extends IntVar>	Defines functionality of shaving.
SimpleMatrixSelect<T extends Var>	SimpleMatrixSelect selects first a row in the matrix based on metric of the variable at pivotPosition.
SimpleSelect<T extends Var>	It is simple and customizable selector of decisions (constraints) which will be enforced by search.
SimpleSolutionListener<T extends Var>	It defines a simple solution listener which should be used if some basic functionality of search when a solution is encountered are required.
SimpleTimeOut	It defines a simple time out listener.
SmallestDomain<T extends Var>	Defines a Smallest Domain comparator for Variables.
SmallestMax<T extends IntVar>	Defines a SmallestMax comparator for Variables.
SmallestMin<T extends IntVar>	Defines a SmallestMin comparator for variables.
SplitRandomSelect<T extends IntVar>	It is simple and customizable selector of decisions (constraints) which will be enforced by search.
SplitSelect<T extends IntVar>	It is simple and customizable selector of decisions (constraints) which will be enforced by search.
TraceGenerator<T extends Var>	TODO TraceGenerator should accept as input to constructor a Search object.
TransformExtensional	It defines an intialize listener which transforms part of the problem into an extensional constraint by searching for all partial solutions given the scope of the variables of interest.
WeightedDegree<T extends Var>	Defines a WeightedDegree comparator for variables.