Module org.maxicp

Package org.maxicp.cp.engine.constraints.scheduling

Class GeneralizedCumulativeConstraint

java.lang.Object

org.maxicp.cp.engine.core.AbstractCPConstraint

org.maxicp.cp.engine.constraints.scheduling.GeneralizedCumulativeConstraint

All Implemented Interfaces:

CPConstraint, ConcreteConstraint<ConcreteCPModel>

public class GeneralizedCumulativeConstraint
extends AbstractCPConstraint

Generalized Cumulative Constraint using Timetabling TODO Refer paper once published

Author:

Roger Kameugne, Charles Thomas, Pierre Schaus

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	GeneralizedCumulativeConstraint.Event	Represents a task event.
static enum	GeneralizedCumulativeConstraint.eventType

Field Summary

Fields

Modifier and Type	Field	Description
protected final int[]	active
protected final StateSparseSet	activeSet
final int[]	actToEndMaxTp
final int[]	actToStartMinTp
protected boolean	allHeightFixed
protected boolean	allLengthFixed
protected boolean	allNegative
protected boolean	allPositive
protected final int[]	endMinInProfile
protected final GeneralizedCumulativeConstraint.Event[]	events
protected boolean	hasMinCapa
protected final boolean[]	isPresentInProfile
protected int	lastTP
protected boolean	mandatoryActive
protected final long	maxCapacity
protected final StateInt	maxEnd
protected final long	minCapacity
protected final StateInt	minStart
protected final int[]	nOverlap
protected final int[]	profileMax
protected final int[]	profileMin
protected boolean	simpleCumulative
protected final int[]	startMaxInProfile
protected final int[]	time

Constructor Summary

Constructors

Constructor	Description
GeneralizedCumulativeConstraint(Activity[] activities, int maxCapacity)	Creates an new Generalized Cumulative Constraint with only a maximum capacity
GeneralizedCumulativeConstraint(Activity[] activities, int minCapacity, int maxCapacity)	Creates an new Generalized Cumulative Constraint

Method Summary

Modifier and Type	Method	Description
protected void	adjustHeightOnFixedPart(int actIdx, int tp)
protected void	checkIfMandatory(int actIdx, int tp)
int	getEnd(int idx)
void	initializeTimeline(int n)
boolean	isIncludedInProfileAt(int tsk, int time)
int	nMax()
void	post()	Initializes the constraint when it is posted to the solver.
int	priority()
void	propagate()	Propagates the constraint.
void	resetTP(int idx, int time, int profileMin, int profileMax, int nOverlap)
protected void	timeTabling(int n)

Methods inherited from class org.maxicp.cp.engine.core.AbstractCPConstraint

getSolver, isActive, isScheduled, registerDelta, setActive, setScheduled, updateDeltas

Methods inherited from class java.lang.Object

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

Field Details

maxCapacity

protected final long maxCapacity

minCapacity

protected final long minCapacity

activeSet

protected final StateSparseSet activeSet

active

protected final int[] active

minStart

protected final StateInt minStart

maxEnd

protected final StateInt maxEnd

events

protected final GeneralizedCumulativeConstraint.Event[] events

actToStartMinTp

public final int[] actToStartMinTp

actToEndMaxTp

public final int[] actToEndMaxTp

time

protected final int[] time

profileMin

protected final int[] profileMin

profileMax

protected final int[] profileMax

nOverlap

protected final int[] nOverlap

lastTP

protected int lastTP

isPresentInProfile

protected final boolean[] isPresentInProfile

startMaxInProfile

protected final int[] startMaxInProfile

endMinInProfile

protected final int[] endMinInProfile

allHeightFixed

protected boolean allHeightFixed

allLengthFixed

protected boolean allLengthFixed

allPositive

protected boolean allPositive

allNegative

protected boolean allNegative

hasMinCapa

protected boolean hasMinCapa

mandatoryActive

protected boolean mandatoryActive

simpleCumulative

protected boolean simpleCumulative

Constructor Details

GeneralizedCumulativeConstraint

public GeneralizedCumulativeConstraint(Activity[] activities,
 int minCapacity,
 int maxCapacity)

Creates an new Generalized Cumulative Constraint

Parameters:

activities - array of activities

minCapacity - minimum capacity

maxCapacity - maximum capacity

GeneralizedCumulativeConstraint

public GeneralizedCumulativeConstraint(Activity[] activities,
 int maxCapacity)

Creates an new Generalized Cumulative Constraint with only a maximum capacity

Parameters:

activities - array of activities

maxCapacity - maximum capacity

Method Details

nMax

public int nMax()

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

priority

public int priority()

Specified by:

priority in interface CPConstraint

Overrides:

priority 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

initializeTimeline

public void initializeTimeline(int n)

timeTabling

protected void timeTabling(int n)

checkIfMandatory

protected void checkIfMandatory(int actIdx,
 int tp)

adjustHeightOnFixedPart

protected void adjustHeightOnFixedPart(int actIdx,
 int tp)

getEnd

public int getEnd(int idx)

resetTP

public void resetTP(int idx,
 int time,
 int profileMin,
 int profileMax,
 int nOverlap)

isIncludedInProfileAt

public boolean isIncludedInProfileAt(int tsk,
 int time)