OR-Tools  8.2
CombinedDisjunctive< time_direction >

Detailed Description

template<bool time_direction>
class operations_research::sat::CombinedDisjunctive< time_direction >

Definition at line 195 of file disjunctive.h.

Public Member Functions

 CombinedDisjunctive (Model *model)
 
void AddNoOverlap (const std::vector< IntervalVariable > &var)
 
bool Propagate () final
 
virtual bool IncrementalPropagate (const std::vector< int > &watch_indices)
 

Constructor & Destructor Documentation

◆ CombinedDisjunctive()

CombinedDisjunctive ( Model model)
explicit

Definition at line 321 of file disjunctive.cc.

Member Function Documentation

◆ AddNoOverlap()

void AddNoOverlap ( const std::vector< IntervalVariable > &  var)

Definition at line 333 of file disjunctive.cc.

◆ IncrementalPropagate()

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

◆ Propagate()

bool Propagate
finalvirtual

Implements PropagatorInterface.

Definition at line 344 of file disjunctive.cc.


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