![]() |
OR-Tools
8.2
|
Definition at line 184 of file disjunctive.h.
Public Member Functions | |
AllIntervalsHelper (Model *model) | |
bool | Propagate () final |
bool | IncrementalPropagate (const std::vector< int > &watch_indices) final |
void | RegisterWith (GenericLiteralWatcher *watcher) |
void | SetLevel (int level) final |
void | ResetFromSubset (const SchedulingConstraintHelper &other, absl::Span< const int > tasks) |
int | NumTasks () const |
void | SynchronizeAndSetTimeDirection (bool is_forward) |
IntegerValue | SizeMin (int t) const |
IntegerValue | SizeMax (int t) const |
IntegerValue | StartMin (int t) const |
IntegerValue | EndMin (int t) const |
IntegerValue | StartMax (int t) const |
IntegerValue | EndMax (int t) const |
IntegerValue | ShiftedStartMin (int t) const |
bool | StartIsFixed (int t) const |
bool | EndIsFixed (int t) const |
bool | SizeIsFixed (int t) const |
bool | IsOptional (int t) const |
bool | IsPresent (int t) const |
bool | IsAbsent (int t) const |
std::string | TaskDebugString (int t) const |
const std::vector< TaskTime > & | TaskByIncreasingStartMin () |
const std::vector< TaskTime > & | TaskByIncreasingEndMin () |
const std::vector< TaskTime > & | TaskByDecreasingStartMax () |
const std::vector< TaskTime > & | TaskByDecreasingEndMax () |
const std::vector< TaskTime > & | TaskByIncreasingShiftedStartMin () |
void | ClearReason () |
void | AddPresenceReason (int t) |
void | AddAbsenceReason (int t) |
void | AddSizeMinReason (int t) |
void | AddSizeMinReason (int t, IntegerValue lower_bound) |
void | AddStartMinReason (int t, IntegerValue lower_bound) |
void | AddStartMaxReason (int t, IntegerValue upper_bound) |
void | AddEndMinReason (int t, IntegerValue lower_bound) |
void | AddEndMaxReason (int t, IntegerValue upper_bound) |
void | AddEnergyAfterReason (int t, IntegerValue energy_min, IntegerValue time) |
void | AddReasonForBeingBefore (int before, int after) |
std::vector< Literal > * | MutableLiteralReason () |
std::vector< IntegerLiteral > * | MutableIntegerReason () |
ABSL_MUST_USE_RESULT bool | IncreaseStartMin (int t, IntegerValue new_start_min) |
ABSL_MUST_USE_RESULT bool | DecreaseEndMax (int t, IntegerValue new_start_max) |
ABSL_MUST_USE_RESULT bool | PushTaskAbsence (int t) |
ABSL_MUST_USE_RESULT bool | PushTaskPresence (int t) |
ABSL_MUST_USE_RESULT bool | PushIntegerLiteral (IntegerLiteral lit) |
ABSL_MUST_USE_RESULT bool | ReportConflict () |
ABSL_MUST_USE_RESULT bool | PushIntegerLiteralIfTaskPresent (int t, IntegerLiteral lit) |
const std::vector< AffineExpression > & | Starts () const |
const std::vector< AffineExpression > & | Ends () const |
const std::vector< AffineExpression > & | Sizes () const |
Literal | PresenceLiteral (int index) const |
void | WatchAllTasks (int id, GenericLiteralWatcher *watcher, bool watch_start_max=true, bool watch_end_max=true) const |
void | SetOtherHelper (SchedulingConstraintHelper *other_helper, IntegerValue event) |
void | ClearOtherHelper () |
void | ImportOtherReasons (const SchedulingConstraintHelper &other_helper) |
bool | InPropagationLoop () const |
|
inlineexplicit |
Definition at line 186 of file disjunctive.h.
|
inlineinherited |
Definition at line 480 of file intervals.h.
|
inlineinherited |
Definition at line 557 of file intervals.h.
|
inlineinherited |
Definition at line 535 of file intervals.h.
|
inlineinherited |
Definition at line 566 of file intervals.h.
|
inlineinherited |
Definition at line 472 of file intervals.h.
|
inherited |
Definition at line 334 of file intervals.cc.
|
inlineinherited |
Definition at line 488 of file intervals.h.
|
inlineinherited |
Definition at line 496 of file intervals.h.
|
inlineinherited |
Definition at line 513 of file intervals.h.
|
inlineinherited |
Definition at line 504 of file intervals.h.
|
inlineinherited |
Definition at line 345 of file intervals.h.
|
inlineinherited |
Definition at line 463 of file intervals.h.
|
inherited |
Definition at line 414 of file intervals.cc.
|
inlineinherited |
Definition at line 441 of file intervals.h.
|
inlineinherited |
Definition at line 231 of file intervals.h.
|
inlineinherited |
Definition at line 229 of file intervals.h.
|
inlineinherited |
Definition at line 320 of file intervals.h.
|
inherited |
Definition at line 492 of file intervals.cc.
|
inherited |
Definition at line 405 of file intervals.cc.
|
finalvirtualinherited |
Reimplemented from PropagatorInterface.
Definition at line 110 of file intervals.cc.
|
inlineinherited |
Definition at line 356 of file intervals.h.
|
inlineinherited |
Definition at line 458 of file intervals.h.
|
inlineinherited |
Definition at line 449 of file intervals.h.
|
inlineinherited |
Definition at line 453 of file intervals.h.
|
inlineinherited |
Definition at line 296 of file intervals.h.
|
inlineinherited |
Definition at line 295 of file intervals.h.
|
inlineinherited |
Definition at line 202 of file intervals.h.
|
inlineinherited |
Definition at line 322 of file intervals.h.
|
finalvirtualinherited |
Implements PropagatorInterface.
Definition at line 105 of file intervals.cc.
|
inherited |
Definition at line 378 of file intervals.cc.
|
inherited |
Definition at line 383 of file intervals.cc.
|
inherited |
Definition at line 423 of file intervals.cc.
|
inherited |
Definition at line 439 of file intervals.cc.
|
inherited |
Definition at line 129 of file intervals.cc.
|
inherited |
Definition at line 455 of file intervals.cc.
|
inherited |
Definition at line 176 of file intervals.cc.
|
finalvirtualinherited |
Implements ReversibleInterface.
Definition at line 116 of file intervals.cc.
|
inlineinherited |
Definition at line 338 of file intervals.h.
|
inlineinherited |
Definition at line 247 of file intervals.h.
|
inlineinherited |
Definition at line 445 of file intervals.h.
|
inlineinherited |
Definition at line 224 of file intervals.h.
|
inlineinherited |
Definition at line 223 of file intervals.h.
|
inlineinherited |
Definition at line 321 of file intervals.h.
|
inlineinherited |
Definition at line 437 of file intervals.h.
|
inlineinherited |
Definition at line 230 of file intervals.h.
|
inlineinherited |
Definition at line 228 of file intervals.h.
|
inlineinherited |
Definition at line 319 of file intervals.h.
|
inherited |
Definition at line 234 of file intervals.cc.
|
inherited |
Definition at line 302 of file intervals.cc.
|
inherited |
Definition at line 289 of file intervals.cc.
|
inherited |
Definition at line 277 of file intervals.cc.
|
inherited |
Definition at line 314 of file intervals.cc.
|
inherited |
Definition at line 265 of file intervals.cc.
|
inherited |
Definition at line 502 of file intervals.cc.
|
inherited |
Definition at line 460 of file intervals.cc.