Module org.maxicp

Package org.maxicp.cp.engine.constraints

Class NegTableCT

java.lang.Object

org.maxicp.cp.engine.core.AbstractCPConstraint

org.maxicp.cp.engine.constraints.NegTableCT

All Implemented Interfaces:

CPConstraint, ConcreteConstraint<ConcreteCPModel>

public class NegTableCT
extends AbstractCPConstraint

Implementation of Compact Table for Negative Table algorithm described in

Extending Compact-Table to Negative and Short Tables Helene Verhaeghe, Christophe Lecoutre, Pierre Schaus

See The article.

Constructor Summary

Constructors

Constructor	Description
NegTableCT(CPIntVar[] x, int[][] table)	Negative Table constraint.

Method Summary

Modifier and Type	Method	Description
static Boolean	hasDuplicates(int[][] table)
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

NegTableCT

public NegTableCT(CPIntVar[] x,
 int[][] table)

Negative Table constraint.

Assignment of x_0=v_0, x_1=v_1,... only valid if there does not exists a row (v_0, v_1, ...) in the table. The table represents the infeasible assignments for the variables.

Parameters:

x - the variables to constraint. x is not empty.

table - the array of invalid solutions (second dimension must be of same size as the array x)

Method Details

hasDuplicates

public static Boolean hasDuplicates(int[][] table)

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

propagate

public void propagate()

Description copied from interface: CPConstraint

Propagates the constraint.

Specified by:

propagate in interface CPConstraint

Overrides:

propagate in class AbstractCPConstraint