Package com.google.ortools.sat

Class ReservoirConstraint

java.lang.Object

com.google.ortools.sat.Constraint

com.google.ortools.sat.ReservoirConstraint

public class ReservoirConstraint
extends Constraint

Specialized reservoir constraint.

This constraint allows adding events (time, levelChange, isActive (optional)) to the reservoir constraint incrementally.

Constructor Summary

Constructors

Constructor	Description
ReservoirConstraint(CpModel model)

Method Summary

Modifier and Type	Method	Description
ReservoirConstraint	addEvent(long time, long levelChange)	Adds a mandatory event at a fixed time
ReservoirConstraint	addEvent(LinearArgument time, long levelChange)	Adds a mandatory event
ReservoirConstraint	addOptionalEvent(long time, long levelChange, Literal isActive)	Adds an optional event at a fixed time
ReservoirConstraint	addOptionalEvent(LinearExpr time, long levelChange, Literal isActive)	Adds an optional event

Methods inherited from class com.google.ortools.sat.Constraint

getBuilder, getIndex, onlyEnforceIf, onlyEnforceIf

Methods inherited from class java.lang.Object

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

Constructor Detail

ReservoirConstraint

public ReservoirConstraint(CpModel model)

Method Detail

addEvent

public ReservoirConstraint addEvent(LinearArgument time,
                                    long levelChange)

Adds a mandatory event

It will increase the used capacity by `levelChange` at time `time`. `time` must be an affine expression.

addEvent

public ReservoirConstraint addEvent(long time,
                                    long levelChange)

Adds a mandatory event at a fixed time

It will increase the used capacity by `levelChange` at time `time`.

addOptionalEvent

public ReservoirConstraint addOptionalEvent(LinearExpr time,
                                            long levelChange,
                                            Literal isActive)

Adds an optional event

If `isActive` is true, It will increase the used capacity by `levelChange` at time `time`. `time` must be an affine expression.

addOptionalEvent

public ReservoirConstraint addOptionalEvent(long time,
                                            long levelChange,
                                            Literal isActive)

Adds an optional event at a fixed time

If `isActive` is true, It will increase the used capacity by `levelChange` at time `time`.