OR-Tools  8.2
AllIntervalsHelper

Detailed Description

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
 

Constructor & Destructor Documentation

◆ AllIntervalsHelper()

AllIntervalsHelper ( Model model)
inlineexplicit

Definition at line 186 of file disjunctive.h.

Member Function Documentation

◆ AddAbsenceReason()

void AddAbsenceReason ( int  t)
inlineinherited

Definition at line 480 of file intervals.h.

◆ AddEndMaxReason()

void AddEndMaxReason ( int  t,
IntegerValue  upper_bound 
)
inlineinherited

Definition at line 557 of file intervals.h.

◆ AddEndMinReason()

void AddEndMinReason ( int  t,
IntegerValue  lower_bound 
)
inlineinherited

Definition at line 535 of file intervals.h.

◆ AddEnergyAfterReason()

void AddEnergyAfterReason ( int  t,
IntegerValue  energy_min,
IntegerValue  time 
)
inlineinherited

Definition at line 566 of file intervals.h.

◆ AddPresenceReason()

void AddPresenceReason ( int  t)
inlineinherited

Definition at line 472 of file intervals.h.

◆ AddReasonForBeingBefore()

void AddReasonForBeingBefore ( int  before,
int  after 
)
inherited

Definition at line 334 of file intervals.cc.

◆ AddSizeMinReason() [1/2]

void AddSizeMinReason ( int  t)
inlineinherited

Definition at line 488 of file intervals.h.

◆ AddSizeMinReason() [2/2]

void AddSizeMinReason ( int  t,
IntegerValue  lower_bound 
)
inlineinherited

Definition at line 496 of file intervals.h.

◆ AddStartMaxReason()

void AddStartMaxReason ( int  t,
IntegerValue  upper_bound 
)
inlineinherited

Definition at line 513 of file intervals.h.

◆ AddStartMinReason()

void AddStartMinReason ( int  t,
IntegerValue  lower_bound 
)
inlineinherited

Definition at line 504 of file intervals.h.

◆ ClearOtherHelper()

void ClearOtherHelper ( )
inlineinherited

Definition at line 345 of file intervals.h.

◆ ClearReason()

void ClearReason ( )
inlineinherited

Definition at line 463 of file intervals.h.

◆ DecreaseEndMax()

bool DecreaseEndMax ( int  t,
IntegerValue  new_start_max 
)
inherited

Definition at line 414 of file intervals.cc.

◆ EndIsFixed()

bool EndIsFixed ( int  t) const
inlineinherited

Definition at line 441 of file intervals.h.

◆ EndMax()

IntegerValue EndMax ( int  t) const
inlineinherited

Definition at line 231 of file intervals.h.

◆ EndMin()

IntegerValue EndMin ( int  t) const
inlineinherited

Definition at line 229 of file intervals.h.

◆ Ends()

const std::vector<AffineExpression>& Ends ( ) const
inlineinherited

Definition at line 320 of file intervals.h.

◆ ImportOtherReasons()

void ImportOtherReasons ( const SchedulingConstraintHelper other_helper)
inherited

Definition at line 492 of file intervals.cc.

◆ IncreaseStartMin()

bool IncreaseStartMin ( int  t,
IntegerValue  new_start_min 
)
inherited

Definition at line 405 of file intervals.cc.

◆ IncrementalPropagate()

bool IncrementalPropagate ( const std::vector< int > &  watch_indices)
finalvirtualinherited

Reimplemented from PropagatorInterface.

Definition at line 110 of file intervals.cc.

◆ InPropagationLoop()

bool InPropagationLoop ( ) const
inlineinherited

Definition at line 356 of file intervals.h.

◆ IsAbsent()

bool IsAbsent ( int  t) const
inlineinherited

Definition at line 458 of file intervals.h.

◆ IsOptional()

bool IsOptional ( int  t) const
inlineinherited

Definition at line 449 of file intervals.h.

◆ IsPresent()

bool IsPresent ( int  t) const
inlineinherited

Definition at line 453 of file intervals.h.

◆ MutableIntegerReason()

std::vector<IntegerLiteral>* MutableIntegerReason ( )
inlineinherited

Definition at line 296 of file intervals.h.

◆ MutableLiteralReason()

std::vector<Literal>* MutableLiteralReason ( )
inlineinherited

Definition at line 295 of file intervals.h.

◆ NumTasks()

int NumTasks ( ) const
inlineinherited

Definition at line 202 of file intervals.h.

◆ PresenceLiteral()

Literal PresenceLiteral ( int  index) const
inlineinherited

Definition at line 322 of file intervals.h.

◆ Propagate()

bool Propagate ( )
finalvirtualinherited

Implements PropagatorInterface.

Definition at line 105 of file intervals.cc.

◆ PushIntegerLiteral()

bool PushIntegerLiteral ( IntegerLiteral  lit)
inherited

Definition at line 378 of file intervals.cc.

◆ PushIntegerLiteralIfTaskPresent()

bool PushIntegerLiteralIfTaskPresent ( int  t,
IntegerLiteral  lit 
)
inherited

Definition at line 383 of file intervals.cc.

◆ PushTaskAbsence()

bool PushTaskAbsence ( int  t)
inherited

Definition at line 423 of file intervals.cc.

◆ PushTaskPresence()

bool PushTaskPresence ( int  t)
inherited

Definition at line 439 of file intervals.cc.

◆ RegisterWith()

void RegisterWith ( GenericLiteralWatcher watcher)
inherited

Definition at line 129 of file intervals.cc.

◆ ReportConflict()

bool ReportConflict ( )
inherited

Definition at line 455 of file intervals.cc.

◆ ResetFromSubset()

void ResetFromSubset ( const SchedulingConstraintHelper other,
absl::Span< const int >  tasks 
)
inherited

Definition at line 176 of file intervals.cc.

◆ SetLevel()

void SetLevel ( int  level)
finalvirtualinherited

Implements ReversibleInterface.

Definition at line 116 of file intervals.cc.

◆ SetOtherHelper()

void SetOtherHelper ( SchedulingConstraintHelper other_helper,
IntegerValue  event 
)
inlineinherited

Definition at line 338 of file intervals.h.

◆ ShiftedStartMin()

IntegerValue ShiftedStartMin ( int  t) const
inlineinherited

Definition at line 247 of file intervals.h.

◆ SizeIsFixed()

bool SizeIsFixed ( int  t) const
inlineinherited

Definition at line 445 of file intervals.h.

◆ SizeMax()

IntegerValue SizeMax ( int  t) const
inlineinherited

Definition at line 224 of file intervals.h.

◆ SizeMin()

IntegerValue SizeMin ( int  t) const
inlineinherited

Definition at line 223 of file intervals.h.

◆ Sizes()

const std::vector<AffineExpression>& Sizes ( ) const
inlineinherited

Definition at line 321 of file intervals.h.

◆ StartIsFixed()

bool StartIsFixed ( int  t) const
inlineinherited

Definition at line 437 of file intervals.h.

◆ StartMax()

IntegerValue StartMax ( int  t) const
inlineinherited

Definition at line 230 of file intervals.h.

◆ StartMin()

IntegerValue StartMin ( int  t) const
inlineinherited

Definition at line 228 of file intervals.h.

◆ Starts()

const std::vector<AffineExpression>& Starts ( ) const
inlineinherited

Definition at line 319 of file intervals.h.

◆ SynchronizeAndSetTimeDirection()

void SynchronizeAndSetTimeDirection ( bool  is_forward)
inherited

Definition at line 234 of file intervals.cc.

◆ TaskByDecreasingEndMax()

const std::vector< TaskTime > & TaskByDecreasingEndMax ( )
inherited

Definition at line 302 of file intervals.cc.

◆ TaskByDecreasingStartMax()

const std::vector< TaskTime > & TaskByDecreasingStartMax ( )
inherited

Definition at line 289 of file intervals.cc.

◆ TaskByIncreasingEndMin()

const std::vector< TaskTime > & TaskByIncreasingEndMin ( )
inherited

Definition at line 277 of file intervals.cc.

◆ TaskByIncreasingShiftedStartMin()

const std::vector< TaskTime > & TaskByIncreasingShiftedStartMin ( )
inherited

Definition at line 314 of file intervals.cc.

◆ TaskByIncreasingStartMin()

const std::vector< TaskTime > & TaskByIncreasingStartMin ( )
inherited

Definition at line 265 of file intervals.cc.

◆ TaskDebugString()

std::string TaskDebugString ( int  t) const
inherited

Definition at line 502 of file intervals.cc.

◆ WatchAllTasks()

void WatchAllTasks ( int  id,
GenericLiteralWatcher watcher,
bool  watch_start_max = true,
bool  watch_end_max = true 
) const
inherited

Definition at line 460 of file intervals.cc.


The documentation for this class was generated from the following file: