A cloneable version of the AmongVar constraint. More...

Inheritance diagram for org.jacop.constraints.AmongVarCloneable:

[legend]

Public Member Functions
	AmongVarCloneable (IntVarCloneable[] xList, IntVarCloneable[] yList, IntVarCloneable nVar)
	Constructor.
	AmongVarCloneable (ArrayList< IntVarCloneable > listOfX, ArrayList< IntVarCloneable > listOfY, IntVarCloneable n)
	It constructs an AmongVar constraint.
AmongVarCloneable	cloneInto (StoreCloneable targetStore) throws FailException
void	impose (Store store)
void	consistency (Store store)
void	consistencyForX (Store store)
void	queueVariable (int level, Var var)
void	consistencyForY (Store store)
void	consistencyWhen_LB0_EQ_UB0 (Store store)
boolean	satisfied ()
void	removeLevel (int level)
Public Member Functions inherited from org.jacop.constraints.ConstraintCloneableInterface< AmongVarCloneable >
abstract C	cloneInto (StoreCloneable targetStore) throws CloneNotSupportedException, FailException
	Creates a new constraint that is a (state-less) clone of this one, but expressed on the variables with the same names found in the input store.

Private Attributes
Map< IntVar, Integer >	xIndex
Map< IntVar, Integer >	yIndex
MutableVar	lbS
MutableVar	futureLbS
TimeStamp< Integer >	lb0TS
TimeStamp< Integer >	ub0TS
TimeStamp< Integer >	xGrounded
TimeStamp< Integer >	yGrounded
LinkedHashSet< Integer >	variableQueueY = new LinkedHashSet<Integer>()

Detailed Description

A cloneable version of the AmongVar constraint.

Author: Thomas Leaute

Constructor & Destructor Documentation

◆ AmongVarCloneable() [1/2]

org.jacop.constraints.AmongVarCloneable.AmongVarCloneable	(	IntVarCloneable[]	xList,
		IntVarCloneable[]	yList,
		IntVarCloneable	nVar )

Constructor.

Parameters

xList	the x variables
yList	the y variables
nVar	the n variable

Referenced by cloneInto().

◆ AmongVarCloneable() [2/2]

org.jacop.constraints.AmongVarCloneable.AmongVarCloneable	(	ArrayList< IntVarCloneable >	listOfX,
		ArrayList< IntVarCloneable >	listOfY,
		IntVarCloneable	n )

It constructs an AmongVar constraint.

Parameters

listOfX	the list of variables whose equality to other set of variables we count
listOfY	the list of variable to which equality is counted.
n	how many variables from list x are equal to at least one variable from list y.

Member Function Documentation

◆ cloneInto()

AmongVarCloneable org.jacop.constraints.AmongVarCloneable.cloneInto ( StoreCloneable targetStore ) throws FailException

See also: org.jacop.constraints.ConstraintCloneableInterface.cloneInto(org.jacop.core.StoreCloneable)

References AmongVarCloneable().

Here is the call graph for this function:

◆ consistency()

void org.jacop.constraints.AmongVarCloneable.consistency ( Store store )

See also: org.jacop.constraints.AmongVar#consistency(org.jacop.core.Store)

Bug: Overrides the parent method as a workaround to https://github.com/radsz/jacop/issues/46

References consistencyForX(), consistencyForY(), consistencyWhen_LB0_EQ_UB0(), futureLbS, lb0TS, lbS, satisfied(), ub0TS, variableQueueY, xGrounded, xIndex, yGrounded, and yIndex.

Here is the call graph for this function:

◆ consistencyForX()

void org.jacop.constraints.AmongVarCloneable.consistencyForX ( Store store )

See also: org.jacop.constraints.AmongVar#consistencyForX(org.jacop.core.Store)

Bug: Overrides the parent method as a workaround to https://github.com/radsz/jacop/issues/46

References lb0TS, lbS, ub0TS, and xIndex.

Referenced by consistency().

◆ consistencyForY()

void org.jacop.constraints.AmongVarCloneable.consistencyForY ( Store store )

See also: org.jacop.constraints.AmongVar#consistencyForY(org.jacop.core.Store)

Bug: Overrides the parent method as a workaround to https://github.com/radsz/jacop/issues/46

References futureLbS, and lbS.

Referenced by consistency().

◆ consistencyWhen_LB0_EQ_UB0()

void org.jacop.constraints.AmongVarCloneable.consistencyWhen_LB0_EQ_UB0 ( Store store )

See also: org.jacop.constraints.AmongVar#consistencyWhen_LB0_EQ_UB0(org.jacop.core.Store)

Bug: Overrides the parent method as a workaround to https://github.com/radsz/jacop/issues/46

References futureLbS, lbS, and yGrounded.

Referenced by consistency().

◆ impose()

void org.jacop.constraints.AmongVarCloneable.impose ( Store store )

See also: org.jacop.constraints.AmongVar#impose(org.jacop.core.Store)

Bug: Overrides the parent method as a workaround to https://github.com/radsz/jacop/issues/46

Bug: https://github.com/radsz/jacop/issues/46

References futureLbS, lb0TS, lbS, ub0TS, xGrounded, xIndex, yGrounded, and yIndex.

◆ queueVariable()

void org.jacop.constraints.AmongVarCloneable.queueVariable	(	int	level,
		Var	var )

See also: org.jacop.constraints.AmongVar#queueVariable(int, org.jacop.core.Var)

Bug: Overrides the parent method as a workaround to https://github.com/radsz/jacop/issues/46

References variableQueueY, xGrounded, and yIndex.

◆ removeLevel()

void org.jacop.constraints.AmongVarCloneable.removeLevel ( int level )

See also: org.jacop.constraints.AmongVar#removeLevel(int)

Bug: Overrides the parent method as a workaround to https://github.com/radsz/jacop/issues/46

◆ satisfied()

boolean org.jacop.constraints.AmongVarCloneable.satisfied ( )

See also: org.jacop.constraints.AmongVar#satisfied()

Bug: Overrides the parent method as a workaround to https://github.com/radsz/jacop/issues/46

References lb0TS, ub0TS, xGrounded, and yGrounded.

Referenced by consistency().

Member Data Documentation

◆ futureLbS

MutableVar org.jacop.constraints.AmongVarCloneable.futureLbS

private

Bug: Overrides the parent member as a workaround to https://github.com/radsz/jacop/issues/46

Referenced by consistency(), consistencyForY(), consistencyWhen_LB0_EQ_UB0(), and impose().

◆ lb0TS

TimeStamp<Integer> org.jacop.constraints.AmongVarCloneable.lb0TS

private

Bug: Overrides the parent member as a workaround to https://github.com/radsz/jacop/issues/46

Referenced by consistency(), consistencyForX(), impose(), and satisfied().

◆ lbS

MutableVar org.jacop.constraints.AmongVarCloneable.lbS

private

Bug: Overrides the parent member as a workaround to https://github.com/radsz/jacop/issues/46

Referenced by consistency(), consistencyForX(), consistencyForY(), consistencyWhen_LB0_EQ_UB0(), and impose().

◆ ub0TS

TimeStamp<Integer> org.jacop.constraints.AmongVarCloneable.ub0TS

private

Bug: Overrides the parent member as a workaround to https://github.com/radsz/jacop/issues/46

Referenced by consistency(), consistencyForX(), impose(), and satisfied().

◆ variableQueueY

LinkedHashSet<Integer> org.jacop.constraints.AmongVarCloneable.variableQueueY = new LinkedHashSet<Integer>()

private

Bug: Overrides the parent member as a workaround to https://github.com/radsz/jacop/issues/46

Referenced by consistency(), and queueVariable().

◆ xGrounded

TimeStamp<Integer> org.jacop.constraints.AmongVarCloneable.xGrounded

private

Bug: Overrides the parent member as a workaround to https://github.com/radsz/jacop/issues/46

Referenced by consistency(), impose(), queueVariable(), and satisfied().

◆ xIndex

Map<IntVar, Integer> org.jacop.constraints.AmongVarCloneable.xIndex

private

Bug: Overrides the parent member as a workaround to https://github.com/radsz/jacop/issues/46

Referenced by consistency(), consistencyForX(), and impose().

◆ yGrounded

TimeStamp<Integer> org.jacop.constraints.AmongVarCloneable.yGrounded

private

Bug: Overrides the parent member as a workaround to https://github.com/radsz/jacop/issues/46

Referenced by consistency(), consistencyWhen_LB0_EQ_UB0(), impose(), and satisfied().

◆ yIndex

Map<IntVar, Integer> org.jacop.constraints.AmongVarCloneable.yIndex

private

Bug: Overrides the parent member as a workaround to https://github.com/radsz/jacop/issues/46

Referenced by consistency(), impose(), and queueVariable().

The documentation for this class was generated from the following file:

src/org/jacop/constraints/AmongVarCloneable.java

Public Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ AmongVarCloneable() [1/2]

◆ AmongVarCloneable() [2/2]

Member Function Documentation

◆ cloneInto()

◆ consistency()

◆ consistencyForX()

◆ consistencyForY()

◆ consistencyWhen_LB0_EQ_UB0()

◆ impose()

◆ queueVariable()

◆ removeLevel()

◆ satisfied()

Member Data Documentation

◆ futureLbS

◆ lb0TS

◆ lbS

◆ ub0TS

◆ variableQueueY

◆ xGrounded

◆ xIndex

◆ yGrounded

◆ yIndex