org.metacsp.fuzzySymbols

Class FuzzySymbolicVariableConstraintSolver

java.lang.Object

org.metacsp.framework.ConstraintSolver

org.metacsp.fuzzySymbols.FuzzySymbolicVariableConstraintSolver

All Implemented Interfaces:

java.io.Serializable

public class FuzzySymbolicVariableConstraintSolver
extends ConstraintSolver

This ConstraintSolver solves CSPs where variables are fuzzy sets (see FuzzySymbolicVariable) and constraints are equality or inequalities among fuzzy sets. Constraints are crisp, and represented by SymbolicValueConstraints.

Author:

Masoumeh Mansouri

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 int	SVIDs

Fields inherited from class org.metacsp.framework.ConstraintSolver

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

Constructor Summary

Constructors

Constructor and Description
FuzzySymbolicVariableConstraintSolver()

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.
java.util.Vector<Constraint>	getFalseConstraint()
double	getPosibilityDegree()
double	getUpperBound()
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.
void	resetFalseClauses()
void	setVarOfSubGraph(java.util.Vector<FuzzyActivity> subs)

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

SVIDs

protected int SVIDs

Constructor Detail

FuzzySymbolicVariableConstraintSolver

public FuzzySymbolicVariableConstraintSolver()

Method Detail

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.

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.

getUpperBound

public double getUpperBound()

getPosibilityDegree

public double getPosibilityDegree()

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.

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.

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.

setVarOfSubGraph

public void setVarOfSubGraph(java.util.Vector<FuzzyActivity> subs)

getFalseConstraint

public java.util.Vector<Constraint> getFalseConstraint()

resetFalseClauses

public void resetFalseClauses()

registerValueChoiceFunctions

public void registerValueChoiceFunctions()

Specified by:

registerValueChoiceFunctions in class ConstraintSolver