org.metacsp.fuzzyAllenInterval

Class FuzzyAllenIntervalNetworkSolver

java.lang.Object

org.metacsp.framework.ConstraintSolver

org.metacsp.fuzzyAllenInterval.FuzzyAllenIntervalNetworkSolver

All Implemented Interfaces:

java.io.Serializable

public class FuzzyAllenIntervalNetworkSolver
extends ConstraintSolver

This ConstraintSolver implements a fuzzified version of Allen's path consistency algorithm, as well as search procedure to extract the optimal solution of a fuzzy temporal CSP.

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 inherited from class org.metacsp.framework.ConstraintSolver

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

Constructor Summary

Constructors

Constructor and Description
FuzzyAllenIntervalNetworkSolver() Creates a new FuzzyAllenIntervalNetworkSolver.

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.
double	getPosibilityDegree() Get the upper bound of the possibility degree of 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.
void	setCrispCons(Constraint[] crispCons) Sets the given FuzzyAllenIntervalConstraints to be considered as crisp (meaning that the desired possibility degrees of the constraint should not change, and the possibility degrees of all other relation types should be 0).
void	setVarOfSubGraph(java.util.Vector<FuzzyActivity> fas) IRAN: please comment this.

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

Constructor Detail

FuzzyAllenIntervalNetworkSolver

public FuzzyAllenIntervalNetworkSolver()

Creates a new FuzzyAllenIntervalNetworkSolver.

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.

getPosibilityDegree

public double getPosibilityDegree()

Get the upper bound of the possibility degree of this solver's ConstraintNetwork.

Returns:

The upper bound of the possibility degree of 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.

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> fas)

IRAN: please comment this.

Parameters:

fas -

setCrispCons

public void setCrispCons(Constraint[] crispCons)

Sets the given FuzzyAllenIntervalConstraints to be considered as crisp (meaning that the desired possibility degrees of the constraint should not change, and the possibility degrees of all other relation types should be 0).

Parameters:

crispCons - The constraints to set as crisp.

registerValueChoiceFunctions

public void registerValueChoiceFunctions()

Specified by:

registerValueChoiceFunctions in class ConstraintSolver