omnics.strategy
Interface SolverStrategy

All Known Subinterfaces:

AssignmentStrategy, BackwardStrategy, ForwardStrategy

All Known Implementing Classes:

AbstractStrategy, BackJumping, ConsistentAssignment, MinCostAssignment, MinDomForward, SimpleAssignment, SimpleBackward, SimpleForward

public interface SolverStrategy

Describes an exploration strategy for a SystematicSolver. An exploration strategy is a heuristic that defines some aspect of the solver behaviour. For instance, in order to determine which variable will be instantiated next, a SystematicSolver will use a ForwardStrategy.

Author:

Cristian Frasinaru

Method Summary

SystematicSolver	getSolver() Gets a reference of the solver.
void	setSolver(SystematicSolver solver) Sets the solver which will use this strategy.

Method Detail

getSolver

SystematicSolver getSolver()

Gets a reference of the solver.

Returns:

a reference of the solver

setSolver

void setSolver(SystematicSolver solver)

Sets the solver which will use this strategy.

Parameters:

solver - a SystematicSolver