org.metacsp.time.qualitative

Class QualitativeAllenIntervalConstraint

java.lang.Object

org.metacsp.framework.Constraint

org.metacsp.framework.BinaryConstraint

org.metacsp.time.qualitative.QualitativeAllenIntervalConstraint

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

Direct Known Subclasses:

FuzzyAllenIntervalConstraint

public class QualitativeAllenIntervalConstraint
extends BinaryConstraint

There are 13 types of Allen interval constraints (see [Allen 1984]).

Author:

Iran Mansouri

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	QualitativeAllenIntervalConstraint.Type

Field Summary

Fields

Modifier and Type	Field and Description
static QualitativeAllenIntervalConstraint.Type[][]	topologicalClosure
static QualitativeAllenIntervalConstraint.Type[][][]	transitionTable The composition table used by path consistency.
protected QualitativeAllenIntervalConstraint.Type[]	types

Fields inherited from class org.metacsp.framework.Constraint

annotation, autoRemovable, color, id, logger, masked, numIDs, scope

Constructor Summary

Constructors

Constructor and Description
QualitativeAllenIntervalConstraint(QualitativeAllenIntervalConstraint.Type... types) Create a QualitativeAllenIntervalConstraint given an array of constraint types.

Method Summary

Modifier and Type	Method and Description
java.lang.Object	clone()
boolean	containsType(QualitativeAllenIntervalConstraint.Type type) Query whether this constraint includes a specific type in its disjunction.
static QualitativeAllenIntervalConstraint.Type[]	getAllenConvexClosure(QualitativeAllenIntervalConstraint.Type... types) Get convex closure of Allen Interval based on canonical representation of interval atomic relation [Ligozat, 1996] and based on the "Geometrical Interpretation of Maximal Tractable Interval Subalgebras" [F.
static int	getDimension(QualitativeAllenIntervalConstraint.Type... types) Get the dimension of an Allen relation which is the maximum of basic Allen relations.
java.lang.String	getEdgeLabel() Every Constraint should implement this method - its value is what is drawn by the ConstraintNetwork rendering methods.
static QualitativeAllenIntervalConstraint.Type	getInverseRelation(QualitativeAllenIntervalConstraint.Type t) Get the inverse relation of a given Allen relation.
static QualitativeAllenIntervalConstraint.Type[]	getInverseRelation(QualitativeAllenIntervalConstraint.Type[] t) Get the inverse relation of a given set of Allen relations.
QualitativeAllenIntervalConstraint.Type[]	getTypes() Get all types of this constraint.
boolean	isEquivalent(Constraint c) Method for assessing the "equivalence" between two constraints.
boolean	isPreconvex(QualitativeAllenIntervalConstraint.Type... types) Define whether an Allen relation (disjunction of basic Allen relations) is pre-convex or not, R is a pre-convex (weakly preconvex) relation if dim(I(R)\R) < dim(R)
static QualitativeAllenIntervalConstraint.Type	lookupTypeByInt(int i) Get the i-th relation.
void	setTypes(QualitativeAllenIntervalConstraint.Type[] types) Set types of this constraint.

Methods inherited from class org.metacsp.framework.BinaryConstraint

getFrom, getTo, setFrom, setTo, toString

Methods inherited from class org.metacsp.framework.Constraint

getAnnotation, getColor, getDescription, getID, getScope, isAutoRemovable, isMasked, isSkippableSolver, isUnary, mask, setAnnotation, setAutoRemovable, setColor, setScope, skipSolver, unmask

Methods inherited from class java.lang.Object

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

Field Detail

types

protected QualitativeAllenIntervalConstraint.Type[] types

transitionTable

public static QualitativeAllenIntervalConstraint.Type[][][] transitionTable

The composition table used by path consistency.

topologicalClosure

public static QualitativeAllenIntervalConstraint.Type[][] topologicalClosure

Constructor Detail

QualitativeAllenIntervalConstraint

public QualitativeAllenIntervalConstraint(QualitativeAllenIntervalConstraint.Type... types)

Create a QualitativeAllenIntervalConstraint given an array of constraint types.

Parameters:

types -

Method Detail

containsType

public boolean containsType(QualitativeAllenIntervalConstraint.Type type)

Query whether this constraint includes a specific type in its disjunction.

Parameters:

type - The type to query.

Returns:

true iff the constraint prescribes the given type.

getTypes

public QualitativeAllenIntervalConstraint.Type[] getTypes()

Get all types of this constraint.

Returns:

All types of the constraint.

setTypes

public void setTypes(QualitativeAllenIntervalConstraint.Type[] types)

Set types of this constraint.

Parameters:

types - The types of the constraint.

clone

public java.lang.Object clone()

Specified by:

clone in class Constraint

getEdgeLabel

public java.lang.String getEdgeLabel()

Description copied from class: Constraint

Every Constraint should implement this method - its value is what is drawn by the ConstraintNetwork rendering methods.

Specified by:

getEdgeLabel in class Constraint

Returns:

a String representation of the constraint to be used for ConstraintNetwork rendering.

getInverseRelation

public static QualitativeAllenIntervalConstraint.Type[] getInverseRelation(QualitativeAllenIntervalConstraint.Type[] t)

Get the inverse relation of a given set of Allen relations.

Parameters:

t - The relations to invert.

Returns:

The inverse of relations t.

getInverseRelation

public static QualitativeAllenIntervalConstraint.Type getInverseRelation(QualitativeAllenIntervalConstraint.Type t)

Get the inverse relation of a given Allen relation.

Parameters:

t - The relation to invert.

Returns:

The inverse of relation t.

lookupTypeByInt

public static QualitativeAllenIntervalConstraint.Type lookupTypeByInt(int i)

Get the i-th relation.

Parameters:

i - Index of the desired relation.

Returns:

The i-th relation.

isEquivalent

public boolean isEquivalent(Constraint c)

Description copied from class: Constraint

Method for assessing the "equivalence" between two constraints. This is not used for lookups nor comparisons (hence, it is not the equals method).

Specified by:

isEquivalent in class Constraint

Parameters:

c - The Constraint to compare against.

Returns:

true iff the two constraints are considered to be equivalent.

getDimension

public static int getDimension(QualitativeAllenIntervalConstraint.Type... types)

Get the dimension of an Allen relation which is the maximum of basic Allen relations.

Parameters:

types - an array of basic Allen relations.

Returns:

The dimension of relation.

getAllenConvexClosure

public static QualitativeAllenIntervalConstraint.Type[] getAllenConvexClosure(QualitativeAllenIntervalConstraint.Type... types)

Get convex closure of Allen Interval based on canonical representation of interval atomic relation [Ligozat, 1996] and based on the "Geometrical Interpretation of Maximal Tractable Interval Subalgebras" [F. Launay,D. Mitra, 06]

Parameters:

types - an array of basic Allen relations.

Returns:

Convex closure of the Allen relations.

isPreconvex

public boolean isPreconvex(QualitativeAllenIntervalConstraint.Type... types)

Define whether an Allen relation (disjunction of basic Allen relations) is pre-convex or not, R is a pre-convex (weakly preconvex) relation if dim(I(R)\R) < dim(R)

Parameters:

types - an array of basic Allen relations representing the disjunction we want to test.

Returns:

true iff the relation is preconvex (weakly preconvex).