org.metacsp.multi.spatial.DE9IM

Class DE9IMRelationSolver

java.lang.Object

org.metacsp.framework.ConstraintSolver

org.metacsp.multi.spatial.DE9IM.DE9IMRelationSolver

All Implemented Interfaces:

java.io.Serializable

public class DE9IMRelationSolver
extends ConstraintSolver

A solver for constraint networks of DE9IMRelations. This solver handles variables of type GeometricShapeVariable, which represent points, line strings, or polygons. The latter are not necessarily convex.

Author:

Federico Pecora

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.metacsp.framework.ConstraintSolver

ConstraintSolver.OPTIONS

Field Summary

Fields

Modifier and Type	Field and Description
protected Constraint[]	addedConstraints
protected boolean	addedVariables
protected boolean	removedConstraints
protected boolean	removedVariables

Fields inherited from class org.metacsp.framework.ConstraintSolver

autoprop, components, constraintTypes, IDs, logger, name, nesting, noPropOnVarCreation, numcalls, skipPropagation, spacing, theNetwork, variableType

Constructor Summary

Constructors

Modifier	Constructor and Description
	DE9IMRelationSolver() Creates a new solver for DE9IMRelations.
protected	DE9IMRelationSolver(java.lang.Class<?>[] constraintTypes, java.lang.Class<?> variableType)

Method Summary

Modifier and Type	Method and Description
protected boolean	addConstraintsSub(Constraint[] c) This method must be implemented by the developer of the specific ConstraintSolver class.
protected Variable[]	createVariablesSub(int num) This method must be implemented by the developer of the specific ConstraintSolver class.
Constraint[]	getAllImplicitRCC8Relations() Get all the implicit DE9IMRelations that exist among the variables in this solver's ConstraintNetwork.
Constraint[]	getAllImplicitRelations() Get all the implicit DE9IMRelations that exist among the variables in this solver's ConstraintNetwork.
boolean	propagate() Propagate the constraint network.
void	registerValueChoiceFunctions()
protected void	removeConstraintsSub(Constraint[] c) This method must be implemented by the developer of the specific ConstraintSolver class.
protected void	removeVariablesSub(Variable[] v) This method must be implemented by the developer of the specific ConstraintSolver class.

Methods inherited from class org.metacsp.framework.ConstraintSolver

addConstraint, addConstraintNoPropagation, addConstraints, addConstraintsDebug, addConstraintsNoPropagation, containsVariable, createVariable, createVariable, createVariables, createVariables, createVariablesSub, deplenish, getComponent, getComponents, getConstraintNetwork, getConstraints, getConstraints, getDescription, getID, getOption, getVariable, getVariables, getVariables, getVariables, isCompatible, maskConstraints, removeConstraint, removeConstraints, removeVariable, removeVariables, setComponent, setComponents, setConstraintNetwork, setName, setOptions, toString, unmaskConstraints

Methods inherited from class java.lang.Object

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

Field Detail

addedConstraints

protected Constraint[] addedConstraints

removedConstraints

protected boolean removedConstraints

addedVariables

protected boolean addedVariables

removedVariables

protected boolean removedVariables

Constructor Detail

DE9IMRelationSolver

protected DE9IMRelationSolver(java.lang.Class<?>[] constraintTypes,
                              java.lang.Class<?> variableType)

DE9IMRelationSolver

public DE9IMRelationSolver()

Creates a new solver for DE9IMRelations.

Method Detail

getAllImplicitRelations

public Constraint[] getAllImplicitRelations()

Get all the implicit DE9IMRelations that exist among the variables in this solver's ConstraintNetwork.

Returns:

All the implicit DE9IMRelations that exist among the variables in this solver's ConstraintNetwork.

getAllImplicitRCC8Relations

public Constraint[] getAllImplicitRCC8Relations()

Get all the implicit DE9IMRelations that exist among the variables in this solver's ConstraintNetwork. These are limited to the eight Jointly Exclusive, Pairwise Disjoint relations

• Contains
• Within
• Covers
• CoveredBy
• Disjoint
• Overlaps
• Touches
• Equals

These eight relations are equivalent to te basic RCC8 relations (Cohn et al., 1997).

Returns:

All the implicit DE9IMRelations that are also RCC8 relations existing among the variables in this solver's ConstraintNetwork.

propagate

public boolean propagate()

Description copied from class: ConstraintSolver

Propagate the constraint network.

Specified by:

propagate in class ConstraintSolver

Returns:

A boolean value indicating whether propagation was successful.

addConstraintsSub

protected boolean addConstraintsSub(Constraint[] c)

Description copied from class: ConstraintSolver

This method must be implemented by the developer of the specific ConstraintSolver class. It should implement all operations necessary to add multiple constraints, and should return true upon success, false otherwise.

Specified by:

addConstraintsSub in class ConstraintSolver

Parameters:

c - The constraints to add.

Returns:

true iff the constraints were added to the ConstraintNetwork.

removeConstraintsSub

protected void removeConstraintsSub(Constraint[] c)

Description copied from class: ConstraintSolver

This method must be implemented by the developer of the specific ConstraintSolver class. Should implement all operations necessary to remove a batch of constraints.

Specified by:

removeConstraintsSub in class ConstraintSolver

Parameters:

c - The constraints to remove.

createVariablesSub

protected Variable[] createVariablesSub(int num)

Description copied from class: ConstraintSolver

This method must be implemented by the developer of the specific ConstraintSolver class. It should implement all operations necessary to create a batch of variable for the specific type of ConstraintSolver.

Specified by:

createVariablesSub in class ConstraintSolver

Parameters:

num - The number of variables to create.

Returns:

A batch of new Variable for this ConstraintSolver.

removeVariablesSub

protected void removeVariablesSub(Variable[] v)

Description copied from class: ConstraintSolver

This method must be implemented by the developer of the specific ConstraintSolver class. It should implement all operations necessary to remove a batch of variables for the specific type of ConstraintSolver.

Specified by:

removeVariablesSub in class ConstraintSolver

Parameters:

v - The Variables to remove.

registerValueChoiceFunctions

public void registerValueChoiceFunctions()

Specified by:

registerValueChoiceFunctions in class ConstraintSolver