agg.util.csp
Class Solution_InjBackjump

java.lang.Object
  extended by agg.util.csp.Solution_Backjump
      extended by agg.util.csp.Solution_InjBackjump
All Implemented Interfaces:
SolutionStrategy

public class Solution_InjBackjump
extends Solution_Backjump

A CSP solution strategy using the backjumping technique. Only injective solutions are considered.


Constructor Summary
Solution_InjBackjump()
           
 
Method Summary
 
Methods inherited from class agg.util.csp.Solution_Backjump
clear, getInstanceVarMap, hasFoundSolution, hasMoreSolutions, hasQueries, next, reinitialize, reinitialize, reset, setRelatedInstanceVarMap
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Solution_InjBackjump

public Solution_InjBackjump()