operations_research::sat::SchedulingConstraintHelper Member List

This is the complete list of members for operations_research::sat::SchedulingConstraintHelper, including all inherited members.

AddAbsenceReason(int t)	operations_research::sat::SchedulingConstraintHelper	inline
AddEndMaxReason(int t, IntegerValue upper_bound)	operations_research::sat::SchedulingConstraintHelper	inline
AddEndMinReason(int t, IntegerValue lower_bound)	operations_research::sat::SchedulingConstraintHelper	inline
AddEnergyAfterReason(int t, IntegerValue energy_min, IntegerValue time)	operations_research::sat::SchedulingConstraintHelper	inline
AddEnergyMinInIntervalReason(int t, IntegerValue min, IntegerValue max)	operations_research::sat::SchedulingConstraintHelper	inline
AddIntegerReason(IntegerLiteral l)	operations_research::sat::SchedulingConstraintHelper	inline
AddLiteralReason(Literal l)	operations_research::sat::SchedulingConstraintHelper	inline
AddPresenceReason(int t)	operations_research::sat::SchedulingConstraintHelper	inline
AddReasonForBeingBeforeAssumingNoOverlap(int before, int after)	operations_research::sat::SchedulingConstraintHelper
AddReasonForUpperBoundLowerThan(LinearExpression2 expr, IntegerValue ub)	operations_research::sat::SchedulingConstraintHelper
AddShiftedEndMaxReason(int t, IntegerValue upper_bound)	operations_research::sat::SchedulingConstraintHelper	inline
AddSizeMaxReason(int t, IntegerValue upper_bound)	operations_research::sat::SchedulingConstraintHelper	inline
AddSizeMinReason(int t)	operations_research::sat::SchedulingConstraintHelper	inline
AddSizeMinReason(int t, IntegerValue lower_bound)	operations_research::sat::SchedulingConstraintHelper	inline
AddStartMaxReason(int t, IntegerValue upper_bound)	operations_research::sat::SchedulingConstraintHelper	inline
AddStartMinReason(int t, IntegerValue lower_bound)	operations_research::sat::SchedulingConstraintHelper	inline
AppendAndResetReason(std::vector< IntegerLiteral > *integer_reason, std::vector< Literal > *literal_reason)	operations_research::sat::SchedulingConstraintHelper
CurrentDecisionLevel() const	operations_research::sat::SchedulingConstraintHelper	inline
CurrentTimeIsForward() const	operations_research::sat::SchedulingConstraintHelper	inline
DecreaseEndMax(int t, IntegerValue value)	operations_research::sat::SchedulingConstraintHelper
EndIsFixed(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
EndMax(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
EndMin(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
Ends() const	operations_research::sat::SchedulingConstraintHelper	inline
GetCurrentMinDistanceBetweenTasks(int a, int b)	operations_research::sat::SchedulingConstraintHelper
GetEnergyProfile()	operations_research::sat::SchedulingConstraintHelper
GetIntervalDefinition(int index) const	operations_research::sat::SchedulingConstraintHelper	inline
GetMinOverlap(int t, IntegerValue start, IntegerValue end) const	operations_research::sat::SchedulingConstraintHelper
GetScratchTaskSet()	operations_research::sat::SchedulingConstraintHelper	inline
GetScratchTaskTimeVector1()	operations_research::sat::SchedulingConstraintHelper	inline
GetScratchTaskTimeVector2()	operations_research::sat::SchedulingConstraintHelper	inline
ImportReasonsFromOther(const SchedulingConstraintHelper &other_helper)	operations_research::sat::SchedulingConstraintHelper
IncreaseEndMin(int t, IntegerValue value)	operations_research::sat::SchedulingConstraintHelper
IncreaseStartMin(int t, IntegerValue value)	operations_research::sat::SchedulingConstraintHelper
IncrementalPropagate(const std::vector< int > &watch_indices) final	operations_research::sat::SchedulingConstraintHelper	virtual
InPropagationLoop() const	operations_research::sat::SchedulingConstraintHelper	inline
IsAbsent(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
IsAbsent(LiteralIndex lit) const	operations_research::sat::SchedulingConstraintHelper	inline
IsEnforced() const	operations_research::sat::SchedulingConstraintHelper
IsOptional(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
IsOptional(LiteralIndex lit) const	operations_research::sat::SchedulingConstraintHelper	inline
IsPresent(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
IsPresent(LiteralIndex lit) const	operations_research::sat::SchedulingConstraintHelper	inline
LevelZeroEndMax(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
LevelZeroSizeMin(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
LevelZeroStartMax(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
LevelZeroStartMin(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
NotifyLevelZeroPrecedence(int a, int b)	operations_research::sat::SchedulingConstraintHelper
NumTasks() const	operations_research::sat::SchedulingConstraintHelper	inline
PresenceLiteral(int index) const	operations_research::sat::SchedulingConstraintHelper	inline
Propagate() final	operations_research::sat::SchedulingConstraintHelper	virtual
PropagationTimestamp() const	operations_research::sat::SchedulingConstraintHelper	inline
PropagatorInterface()=default	operations_research::sat::PropagatorInterface
PushIntegerLiteral(IntegerLiteral lit)	operations_research::sat::SchedulingConstraintHelper
PushIntegerLiteralIfTaskPresent(int t, IntegerLiteral lit)	operations_research::sat::SchedulingConstraintHelper
PushLiteral(Literal l)	operations_research::sat::SchedulingConstraintHelper
PushTaskAbsence(int t)	operations_research::sat::SchedulingConstraintHelper
PushTaskOrderWhenPresent(int t_before, int t_after)	operations_research::sat::SchedulingConstraintHelper
PushTaskPresence(int t)	operations_research::sat::SchedulingConstraintHelper
RegisterWith(GenericLiteralWatcher *watcher, absl::Span< const Literal > enforcement_literals)	operations_research::sat::SchedulingConstraintHelper
ReportConflict()	operations_research::sat::SchedulingConstraintHelper
ResetFromSubset(const SchedulingConstraintHelper &other, absl::Span< const int > tasks)	operations_research::sat::SchedulingConstraintHelper
ResetReason()	operations_research::sat::SchedulingConstraintHelper	inline
SchedulingConstraintHelper(std::vector< AffineExpression > starts, std::vector< AffineExpression > ends, std::vector< AffineExpression > sizes, std::vector< LiteralIndex > reason_for_presence, Model *model)	operations_research::sat::SchedulingConstraintHelper
SchedulingConstraintHelper(int num_tasks, Model *model)	operations_research::sat::SchedulingConstraintHelper
SetEnforcementId(EnforcementId id)	operations_research::sat::SchedulingConstraintHelper	inline
SetExtraExplanationForItemCallback(std::function< void(absl::Span< const int > items, std::vector< Literal > *reason, std::vector< IntegerLiteral > *integer_reason)> extra_explanation_callback)	operations_research::sat::SchedulingConstraintHelper	inline
SetTimeDirection(bool is_forward)	operations_research::sat::SchedulingConstraintHelper
ShiftedEndMax(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
ShiftedStartMin(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
SizeIsFixed(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
SizeMax(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
SizeMin(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
Sizes() const	operations_research::sat::SchedulingConstraintHelper	inline
StartIsFixed(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
StartMax(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
StartMin(int t) const	operations_research::sat::SchedulingConstraintHelper	inline
Starts() const	operations_research::sat::SchedulingConstraintHelper	inline
SynchronizeAndSetTimeDirection(bool is_forward)	operations_research::sat::SchedulingConstraintHelper
TaskByDecreasingEndMax()	operations_research::sat::SchedulingConstraintHelper
TaskByIncreasingEndMin()	operations_research::sat::SchedulingConstraintHelper
TaskByIncreasingNegatedShiftedEndMax()	operations_research::sat::SchedulingConstraintHelper
TaskByIncreasingNegatedStartMax()	operations_research::sat::SchedulingConstraintHelper
TaskByIncreasingShiftedStartMin()	operations_research::sat::SchedulingConstraintHelper
TaskByIncreasingStartMin()	operations_research::sat::SchedulingConstraintHelper
TaskDebugString(int t) const	operations_research::sat::SchedulingConstraintHelper
TaskIsBeforeOrIsOverlapping(int before, int after)	operations_research::sat::SchedulingConstraintHelper
WatchAllTasks(int id)	operations_research::sat::SchedulingConstraintHelper
~PropagatorInterface()=default	operations_research::sat::PropagatorInterface	virtual