omnics.strategy
Class MinDomForward

java.lang.Object
  omnics.strategy.AbstractStrategy
      omnics.strategy.MinDomForward

All Implemented Interfaces:

java.io.Serializable, ForwardStrategy, SolverStrategy

public class MinDomForward
extends AbstractStrategy
implements ForwardStrategy

Represents the variable heuristic that chooses the variable with the smallest domain.

Note that this corresponds to the first-fail principle: reducing the domain of variable which is constrained a lot may lead to an early failure.

Author:

Cristian Frasinaru

See Also:

Serialized Form

Field Summary

Fields inherited from class omnics.strategy.AbstractStrategy

solver

Constructor Summary

MinDomForward()

Method Summary

Var	next() Determines the next variable to be instantiated by the solver.

Methods inherited from class omnics.strategy.AbstractStrategy

getSolver, setSolver

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface omnics.strategy.SolverStrategy

getSolver, setSolver

Constructor Detail

MinDomForward

public MinDomForward()

Method Detail

next

public Var next()

Description copied from interface: ForwardStrategy

Determines the next variable to be instantiated by the solver. If there are no more candidates left the method must return null.

Specified by:

next in interface ForwardStrategy

Returns:

the next variable to be instantiated by the solver or null if there are no more candidates.