net.sf.cpsolver.ifs.dbt

Class DbtVariableSelection<V extends Variable<V,T>,T extends Value<V,T>>

java.lang.Object

net.sf.cpsolver.ifs.dbt.DbtVariableSelection<V,T>

All Implemented Interfaces:

VariableSelection<V,T>

public class DbtVariableSelection<V extends Variable<V,T>,T extends Value<V,T>>
extends Object
implements VariableSelection<V,T>

Selection of a variable for dynamic backtracking.

Returns null if all variables are assigned. Checks if there is a varaible with all values marked as nogood (and pick it if there is any). Returns the first unassigned variable.

This IFS solver variable selection heuristics is to be used only in case of dynamic backtracking and it has no parameters.

Version:

IFS 1.2 (Iterative Forward Search)
Copyright (C) 2006 - 2010 Tomáš Müller
muller@unitime.org
http://muller.unitime.org

This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version.

This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public License along with this library; if not see http://www.gnu.org/licenses/.