Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::CombinedDisjunctive< time_direction > Class Template Reference

Detailed Description

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

Definition at line 263 of file disjunctive.h.

#include <disjunctive.h>

Inheritance diagram for operations_research::sat::CombinedDisjunctive< time_direction >:
operations_research::sat::PropagatorInterface

Public Member Functions

 CombinedDisjunctive (Model *model)
void AddNoOverlap (absl::Span< const IntervalVariable > var)
bool Propagate () final
Public Member Functions inherited from operations_research::sat::PropagatorInterface
 PropagatorInterface ()=default
virtual ~PropagatorInterface ()=default
virtual bool IncrementalPropagate (const std::vector< int > &)

Constructor & Destructor Documentation

◆ CombinedDisjunctive()

template<bool time_direction>
operations_research::sat::CombinedDisjunctive< time_direction >::CombinedDisjunctive ( Model * model)
explicit

Definition at line 325 of file disjunctive.cc.

Member Function Documentation

◆ AddNoOverlap()

template<bool time_direction>
void operations_research::sat::CombinedDisjunctive< time_direction >::AddNoOverlap ( absl::Span< const IntervalVariable > var)

Definition at line 338 of file disjunctive.cc.

◆ Propagate()

template<bool time_direction>
bool operations_research::sat::CombinedDisjunctive< time_direction >::Propagate ( )
finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 349 of file disjunctive.cc.

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