Module org.maxicp

Package org.maxicp.cp.engine.constraints

Class AtLeastNValueDC

java.lang.Object

org.maxicp.cp.engine.core.AbstractCPConstraint

org.maxicp.cp.engine.constraints.AtLeastNValueDC

All Implemented Interfaces:

CPConstraint, ConcreteConstraint<ConcreteCPModel>

Direct Known Subclasses:

AllDifferentDC

public class AtLeastNValueDC
extends AbstractCPConstraint

Domain Consistency Filtering for AtLeastNValue constraint.

Author:

Pierre Schaus pschaus@gmail.com

Constructor Summary

Constructors

Constructor	Description
AtLeastNValueDC(CPIntVar[] x, CPIntVar nVal)	Creates a domain-consistent constraint enforcing that at least nVal distinct values appear among the variables in x.
AtLeastNValueDC(CPIntVar[] x, CPIntVar nval, boolean dontPostFWC)	Creates a domain-consistent constraint enforcing that at least nval distinct values appear among the variables in x.

Method Summary

Modifier and Type	Method	Description
int	getValInBestAssignment(int i)
boolean	hasValInBestAssignment(int i)
void	post()	Initializes the constraint when it is posted to the solver.
void	propagate()	Propagates the constraint.

Methods inherited from class org.maxicp.cp.engine.core.AbstractCPConstraint

getSolver, isActive, isScheduled, priority, registerDelta, setActive, setScheduled, updateDeltas

Methods inherited from class java.lang.Object

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

Constructor Details

AtLeastNValueDC

public AtLeastNValueDC(CPIntVar[] x,
 CPIntVar nVal)

Creates a domain-consistent constraint enforcing that at least nVal distinct values appear among the variables in x.

Parameters:

x - the array of variables

nVal - the minimum number of distinct values in x

AtLeastNValueDC

public AtLeastNValueDC(CPIntVar[] x,
 CPIntVar nval,
 boolean dontPostFWC)

Creates a domain-consistent constraint enforcing that at least nval distinct values appear among the variables in x.

Parameters:

x - the array of variables

nval - the minimum number of distinct values in x

dontPostFWC - unused flag for forward-checking posting

Method Details

post

public void post()

Description copied from interface: CPConstraint

Initializes the constraint when it is posted to the solver.

Specified by:

post in interface CPConstraint

Overrides:

post in class AbstractCPConstraint

hasValInBestAssignment

public boolean hasValInBestAssignment(int i)

getValInBestAssignment

public int getValInBestAssignment(int i)

propagate

public void propagate()

Description copied from interface: CPConstraint

Propagates the constraint.

Specified by:

propagate in interface CPConstraint

Overrides:

propagate in class AbstractCPConstraint