Module org.chocosolver

Package org.chocosolver.solver.constraints.nary.cumulative

Class NRJCumulFilter

java.lang.Object

org.chocosolver.solver.constraints.nary.cumulative.CumulFilter

org.chocosolver.solver.constraints.nary.cumulative.NRJCumulFilter

public class NRJCumulFilter
extends CumulFilter

Energy based filtering (greedy)

Author:

Jean-Guillaume Fages

Field Summary

Fields inherited from class org.chocosolver.solver.constraints.nary.cumulative.CumulFilter

nbMaxTasks

Constructor Summary

Constructors

Constructor	Description
NRJCumulFilter(int n)

Method Summary

Modifier and Type	Method	Description
void	filter(IntVar[] s, IntVar[] d, IntVar[] e, IntVar[] h, IntVar capa, ISet tasks, Propagator<IntVar> aCause)	Filters the cumulative constraint over the subset of tasks induced by tasks

Methods inherited from class java.lang.Object

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

Constructor Detail

NRJCumulFilter

public NRJCumulFilter(int n)

Method Detail

filter

public void filter(IntVar[] s,
                   IntVar[] d,
                   IntVar[] e,
                   IntVar[] h,
                   IntVar capa,
                   ISet tasks,
                   Propagator<IntVar> aCause)
            throws ContradictionException

Description copied from class: CumulFilter

Filters the cumulative constraint over the subset of tasks induced by tasks

Specified by:

filter in class CumulFilter

Parameters:

s - start variables

d - duration variables

e - end variables

h - height variables

capa - maximum capacity variable

tasks - subset of tasks to filter

aCause - a cumulative propagator

Throws:

ContradictionException