Module org.chocosolver
Class NaiveTimeCumulFilter
- java.lang.Object
-
- org.chocosolver.solver.constraints.nary.cumulative.CumulFilter
-
- org.chocosolver.solver.constraints.nary.cumulative.NaiveTimeCumulFilter
-
public class NaiveTimeCumulFilter extends CumulFilter
Time-based filtering (compute the profile over every point in time)- Author:
- Jean-Guillaume Fages, Charles Prud'homme
-
-
Field Summary
-
Fields inherited from class org.chocosolver.solver.constraints.nary.cumulative.CumulFilter
nbMaxTasks
-
-
Constructor Summary
Constructors Constructor Description NaiveTimeCumulFilter(int nbMaxTasks)
-
Method Summary
All Methods Instance Methods Concrete Methods 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
-
-
-
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 classCumulFilter
- Parameters:
s
- start variablesd
- duration variablese
- end variablesh
- height variablescapa
- maximum capacity variabletasks
- subset of tasks to filteraCause
- a cumulative propagator- Throws:
ContradictionException
-
-