choco
Class Reformulation

java.lang.Object
  extended by choco.Reformulation

public class Reformulation
extends Object

User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 24 f�vr. 2010
Since : Choco 2.1.1
A class for reformulated constraints.


Constructor Summary
Reformulation()
           
 
Method Summary
static Constraint[] among(IntegerVariable[] variables, SetVariable s, IntegerVariable nvar)
          AMONG constraint reformulated like:
introducing BOOL variable for each VARIABLE, adding following constraints: for each VARIABLE : REIFIED(BOOL_i, MEMBER(VARIABLE_i, S)), EQ(SUM(BOOL), N),
static Constraint[] among(IntegerVariable nvar, IntegerVariable[] variables, int[] values)
          AMONG constraint reformulated like:
introducing BOOL variable for each VARIABLE, adding following constraints: for each VARIABLE : REIFIED(BOOL_i, AMONG(VARIABLE_i, VALUES)), EQ(SUM(BOOL), N),
static Constraint[] disjunctive(TaskVariable[] clique, String... boolvarOptions)
          AMONG constraint reformulated like:
introducing BOOL variable for each VARIABLE, adding following constraints: for each VARIABLE : REIFIED(BOOL_i, AMONG(VARIABLE_i, VALUES)), EQ(SUM(BOOL), N),
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Reformulation

public Reformulation()
Method Detail

among

public static Constraint[] among(IntegerVariable[] variables,
                                 SetVariable s,
                                 IntegerVariable nvar)
AMONG constraint reformulated like:

Parameters:
variables - scope variable
s - set variable, containing values to count
nvar - integer variable counter
Returns:
AMONG constraint reformulated

among

public static Constraint[] among(IntegerVariable nvar,
                                 IntegerVariable[] variables,
                                 int[] values)
AMONG constraint reformulated like:

Parameters:
nvar - counter variable
variables - counted variables
values - array of values
Returns:
AMONG constraint reformulated

disjunctive

public static Constraint[] disjunctive(TaskVariable[] clique,
                                       String... boolvarOptions)
AMONG constraint reformulated like:



Copyright © 2012. All Rights Reserved.