OR-Tools  8.2
Public Member Functions | List of all members
SchedulingConstraintHelper

Detailed Description

Definition at line 171 of file intervals.h.

Public Member Functions

 SchedulingConstraintHelper (const std::vector< IntervalVariable > &tasks, Model *model)
 
 SchedulingConstraintHelper (int num_tasks, 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

◆ SchedulingConstraintHelper() [1/2]

SchedulingConstraintHelper ( const std::vector< IntervalVariable > &  tasks,
Model *  model 
)

Definition at line 65 of file intervals.cc.

◆ SchedulingConstraintHelper() [2/2]

SchedulingConstraintHelper ( int  num_tasks,
Model *  model 
)

Definition at line 96 of file intervals.cc.

Member Function Documentation

◆ AddAbsenceReason()

void AddAbsenceReason ( int  t)
inline

Definition at line 480 of file intervals.h.

◆ AddEndMaxReason()

void AddEndMaxReason ( int  t,
IntegerValue  upper_bound 
)
inline

Definition at line 557 of file intervals.h.

◆ AddEndMinReason()

void AddEndMinReason ( int  t,
IntegerValue  lower_bound 
)
inline

Definition at line 535 of file intervals.h.

◆ AddEnergyAfterReason()

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

Definition at line 566 of file intervals.h.

◆ AddPresenceReason()

void AddPresenceReason ( int  t)
inline

Definition at line 472 of file intervals.h.

◆ AddReasonForBeingBefore()

void AddReasonForBeingBefore ( int  before,
int  after 
)

Definition at line 334 of file intervals.cc.

◆ AddSizeMinReason() [1/2]

void AddSizeMinReason ( int  t)
inline

Definition at line 488 of file intervals.h.

◆ AddSizeMinReason() [2/2]

void AddSizeMinReason ( int  t,
IntegerValue  lower_bound 
)
inline

Definition at line 496 of file intervals.h.

◆ AddStartMaxReason()

void AddStartMaxReason ( int  t,
IntegerValue  upper_bound 
)
inline

Definition at line 513 of file intervals.h.

◆ AddStartMinReason()

void AddStartMinReason ( int  t,
IntegerValue  lower_bound 
)
inline

Definition at line 504 of file intervals.h.

◆ ClearOtherHelper()

void ClearOtherHelper ( )
inline

Definition at line 345 of file intervals.h.

◆ ClearReason()

void ClearReason ( )
inline

Definition at line 463 of file intervals.h.

◆ DecreaseEndMax()

bool DecreaseEndMax ( int  t,
IntegerValue  new_start_max 
)

Definition at line 414 of file intervals.cc.

◆ EndIsFixed()

bool EndIsFixed ( int  t) const
inline

Definition at line 441 of file intervals.h.

◆ EndMax()

IntegerValue EndMax ( int  t) const
inline

Definition at line 231 of file intervals.h.

◆ EndMin()

IntegerValue EndMin ( int  t) const
inline

Definition at line 229 of file intervals.h.

◆ Ends()

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

Definition at line 320 of file intervals.h.

◆ ImportOtherReasons()

void ImportOtherReasons ( const SchedulingConstraintHelper &  other_helper)

Definition at line 492 of file intervals.cc.

◆ IncreaseStartMin()

bool IncreaseStartMin ( int  t,
IntegerValue  new_start_min 
)

Definition at line 405 of file intervals.cc.

◆ IncrementalPropagate()

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

Reimplemented from PropagatorInterface.

Definition at line 110 of file intervals.cc.

◆ InPropagationLoop()

bool InPropagationLoop ( ) const
inline

Definition at line 356 of file intervals.h.

◆ IsAbsent()

bool IsAbsent ( int  t) const
inline

Definition at line 458 of file intervals.h.

◆ IsOptional()

bool IsOptional ( int  t) const
inline

Definition at line 449 of file intervals.h.

◆ IsPresent()

bool IsPresent ( int  t) const
inline

Definition at line 453 of file intervals.h.

◆ MutableIntegerReason()

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

Definition at line 296 of file intervals.h.

◆ MutableLiteralReason()

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

Definition at line 295 of file intervals.h.

◆ NumTasks()

int NumTasks ( ) const
inline

Definition at line 202 of file intervals.h.

◆ PresenceLiteral()

Literal PresenceLiteral ( int  index) const
inline

Definition at line 322 of file intervals.h.

◆ Propagate()

bool Propagate ( )
finalvirtual

Implements PropagatorInterface.

Definition at line 105 of file intervals.cc.

◆ PushIntegerLiteral()

bool PushIntegerLiteral ( IntegerLiteral  lit)

Definition at line 378 of file intervals.cc.

◆ PushIntegerLiteralIfTaskPresent()

bool PushIntegerLiteralIfTaskPresent ( int  t,
IntegerLiteral  lit 
)

Definition at line 383 of file intervals.cc.

◆ PushTaskAbsence()

bool PushTaskAbsence ( int  t)

Definition at line 423 of file intervals.cc.

◆ PushTaskPresence()

bool PushTaskPresence ( int  t)

Definition at line 439 of file intervals.cc.

◆ RegisterWith()

void RegisterWith ( GenericLiteralWatcher *  watcher)

Definition at line 129 of file intervals.cc.

◆ ReportConflict()

bool ReportConflict ( )

Definition at line 455 of file intervals.cc.

◆ ResetFromSubset()

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

Definition at line 176 of file intervals.cc.

◆ SetLevel()

void SetLevel ( int  level)
finalvirtual

Implements ReversibleInterface.

Definition at line 116 of file intervals.cc.

◆ SetOtherHelper()

void SetOtherHelper ( SchedulingConstraintHelper *  other_helper,
IntegerValue  event 
)
inline

Definition at line 338 of file intervals.h.

◆ ShiftedStartMin()

IntegerValue ShiftedStartMin ( int  t) const
inline

Definition at line 247 of file intervals.h.

◆ SizeIsFixed()

bool SizeIsFixed ( int  t) const
inline

Definition at line 445 of file intervals.h.

◆ SizeMax()

IntegerValue SizeMax ( int  t) const
inline

Definition at line 224 of file intervals.h.

◆ SizeMin()

IntegerValue SizeMin ( int  t) const
inline

Definition at line 223 of file intervals.h.

◆ Sizes()

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

Definition at line 321 of file intervals.h.

◆ StartIsFixed()

bool StartIsFixed ( int  t) const
inline

Definition at line 437 of file intervals.h.

◆ StartMax()

IntegerValue StartMax ( int  t) const
inline

Definition at line 230 of file intervals.h.

◆ StartMin()

IntegerValue StartMin ( int  t) const
inline

Definition at line 228 of file intervals.h.

◆ Starts()

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

Definition at line 319 of file intervals.h.

◆ SynchronizeAndSetTimeDirection()

void SynchronizeAndSetTimeDirection ( bool  is_forward)

Definition at line 234 of file intervals.cc.

◆ TaskByDecreasingEndMax()

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

Definition at line 302 of file intervals.cc.

◆ TaskByDecreasingStartMax()

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

Definition at line 289 of file intervals.cc.

◆ TaskByIncreasingEndMin()

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

Definition at line 277 of file intervals.cc.

◆ TaskByIncreasingShiftedStartMin()

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

Definition at line 314 of file intervals.cc.

◆ TaskByIncreasingStartMin()

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

Definition at line 265 of file intervals.cc.

◆ TaskDebugString()

std::string TaskDebugString ( int  t) const

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

Definition at line 460 of file intervals.cc.

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