aima.core.search.csp

Class SolutionStrategy

java.lang.Object

aima.core.search.csp.SolutionStrategy

Direct Known Subclasses:

BacktrackingStrategy, MinConflictsStrategy, TreeCSPSolver

public abstract class SolutionStrategy
extends java.lang.Object

Base class for CSP solver implementations. Solving a CSP means finding an assignment, which is consistent and complete with respect to a CSP. This abstract class provides the central interface method and additionally an implementation of an observer mechanism.

Author:

Ruediger Lunde, Mike Stampone

Constructor Summary

Constructors

Constructor and Description
SolutionStrategy()

Method Summary

Modifier and Type	Method and Description
void	addCSPStateListener(CSPStateListener listener) Adds a CSP state listener to the solution strategy.
protected void	fireStateChanged(Assignment assignment, CSP csp)
protected void	fireStateChanged(CSP csp)
void	removeCSPStateListener(CSPStateListener listener) Removes a CSP listener from the solution strategy.
abstract Assignment	solve(CSP csp) Returns a solution to the specified CSP, which specifies values for all the variables such that the constraints are satisfied.

Methods inherited from class java.lang.Object

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

Constructor Detail

SolutionStrategy

public SolutionStrategy()

Method Detail

addCSPStateListener

public void addCSPStateListener(CSPStateListener listener)

Adds a CSP state listener to the solution strategy.

Parameters:

listener - a listener which follows the progress of the solution strategy step-by-step.

removeCSPStateListener

public void removeCSPStateListener(CSPStateListener listener)

Removes a CSP listener from the solution strategy.

Parameters:

listener - the listener to remove

fireStateChanged

protected void fireStateChanged(CSP csp)

fireStateChanged

protected void fireStateChanged(Assignment assignment,
                                CSP csp)

solve

public abstract Assignment solve(CSP csp)

Returns a solution to the specified CSP, which specifies values for all the variables such that the constraints are satisfied.

Parameters:

csp - a CSP to solve

Returns:

a solution to the specified CSP, which specifies values for all the variables such that the constraints are satisfied.