aima.core.search.csp

Class DomainRestoreInfo

java.lang.Object

aima.core.search.csp.DomainRestoreInfo

public class DomainRestoreInfo
extends java.lang.Object

Provides informations which might be useful for a caller of a constraint propagation algorithm. It maintains old domains for variables and provides means to restore the initial state of the CSP (before domain reduction started). Additionally, a flag indicates whether an empty domain has been found during propagation.

Author:

Ruediger Lunde

Constructor Summary

Constructors

Constructor and Description
DomainRestoreInfo()

Method Summary

Modifier and Type	Method and Description
void	clear()
DomainRestoreInfo	compactify() Can be called after all domain information has been collected to reduce storage consumption.
java.util.List<Pair<Variable,Domain>>	getSavedDomains()
boolean	isEmpty()
boolean	isEmptyDomainFound()
void	restoreDomains(CSP csp)
void	setEmptyDomainFound(boolean b)
void	storeDomainFor(Variable var, Domain domain) Stores the specified domain for the specified variable if a domain has not yet been stored for the variable.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

DomainRestoreInfo

public DomainRestoreInfo()

Method Detail

clear

public void clear()

isEmpty

public boolean isEmpty()

storeDomainFor

public void storeDomainFor(Variable var,
                           Domain domain)

Stores the specified domain for the specified variable if a domain has not yet been stored for the variable.

setEmptyDomainFound

public void setEmptyDomainFound(boolean b)

compactify

public DomainRestoreInfo compactify()

Can be called after all domain information has been collected to reduce storage consumption.

Returns:

this object, after removing one hashtable.

isEmptyDomainFound

public boolean isEmptyDomainFound()

getSavedDomains

public java.util.List<Pair<Variable,Domain>> getSavedDomains()

restoreDomains

public void restoreDomains(CSP csp)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object