|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface SolutionStrategy
An interface for solution strategies for Constraint Satisfaction Problems.
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 |
---|
boolean next(CSP csp)
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).
csp
- The CSP to solve.
false
if there are no more solutions.void reset()
next()
returns the first solution of the given CSP.
boolean reinitialize(boolean doUpdateQueries)
void reinitialize(Variable var)
void clear()
boolean hasQueries()
boolean hasMoreSolutions()
boolean hasFoundSolution()
void setRelatedInstanceVarMap(java.util.Dictionary<java.lang.Object,Variable> relatedVarMap)
java.util.Dictionary<java.lang.Object,Variable> getInstanceVarMap()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |