agg.util.csp
Interface SolutionStrategy

All Known Implementing Classes:
Solution_Backjump, Solution_Backtrack, Solution_InjBackjump

public interface SolutionStrategy

An interface for solution strategies for Constraint Satisfaction Problems.

See Also:
CSP

Method Summary
 void clear()
           
 java.util.Dictionary<java.lang.Object,Variable> getInstanceVarMap()
           
 boolean hasFoundSolution()
           
 boolean hasMoreSolutions()
           
 boolean hasQueries()
           
 boolean next(CSP csp)
          Find the next solution of csp, and instantiate its variables accordingly.
 boolean reinitialize(boolean doUpdateQueries)
           
 void reinitialize(Variable var)
           
 void reset()
          Reset my internal state, so that the forthcoming invocation of next() returns the first solution of the given CSP.
 void setRelatedInstanceVarMap(java.util.Dictionary<java.lang.Object,Variable> relatedVarMap)
           
 

Method Detail

next

boolean next(CSP csp)
Find the next solution of csp, and instantiate its variables accordingly. Variables already instantiated will not be altered, so this method can be used to complete partial solutions. Invoke this method successively with the same argument to get all solutions (or all completions of a given partial solution).

Parameters:
csp - The CSP to solve.
Returns:
false if there are no more solutions.

reset

void reset()
Reset my internal state, so that the forthcoming invocation of next() returns the first solution of the given CSP.


reinitialize

boolean reinitialize(boolean doUpdateQueries)

reinitialize

void reinitialize(Variable var)

clear

void clear()

hasQueries

boolean hasQueries()

hasMoreSolutions

boolean hasMoreSolutions()

hasFoundSolution

boolean hasFoundSolution()

setRelatedInstanceVarMap

void setRelatedInstanceVarMap(java.util.Dictionary<java.lang.Object,Variable> relatedVarMap)

getInstanceVarMap

java.util.Dictionary<java.lang.Object,Variable> getInstanceVarMap()