Package org.jacop.search
package org.jacop.search
-
ClassDescriptionActivityMax<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.Defines a AccumulatedFailureCount comparator (afc) for variables.Defines a AccumulatedFailureCount comparator (afc) for variables.Defines a AccumulatedFailureCount comparator (afc) for variables.Defines a AccumulatedFailureCount comparator (afc) for variables.ComparatorVariable<T extends Var>Defines an interface for comparing variables.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).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.ExitChildListener<T extends Var>Defines a listener which is called by the search if a child node is exited.This listener is executed when search has finished executing is about to exit the labeling procedure.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.Defines a interface for different indomain enumeration methods.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 variableIndomainRandom<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.This listener is executed when search has began executing and it is about to enter the labeling procedure.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.Defines functionality of limited discrepancy search.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.Defines a RandomVar comparator for variables.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.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.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.SolutionListener<T extends Var>Defines an interface which needs to be implemented by all classes which wants to be informed about the solution.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.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.TraceGenerator<T extends Var>TODO TraceGenerator should accept as input to constructor a Search object.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.