Module org.chocosolver

Package org.chocosolver.solver.constraints.binary.element

Class ElementFactory

java.lang.Object

org.chocosolver.solver.constraints.binary.element.ElementFactory

public class ElementFactory
extends Object

A factory that selects the most adapted element propagator. Created by cprudhom on 29/09/15. Project: choco.

Method Summary

Modifier and Type	Method	Description
static Constraint	detect(IntVar VALUE, int[] TABLE, IntVar INDEX, int OFFSET)	Detect and return the most adapted Element propagator wrt to the values in TABLE

Methods inherited from class java.lang.Object

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

Method Detail

detect

public static Constraint detect(IntVar VALUE,
                                int[] TABLE,
                                IntVar INDEX,
                                int OFFSET)

Detect and return the most adapted Element propagator wrt to the values in TABLE

Parameters:

VALUE - the result variable

TABLE - the array of values

INDEX - the index variable

OFFSET - the offset

Returns:

an Element constraint