CombinedDisjunctive< time_direction >

Detailed Description

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

Definition at line 194 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 368 of file disjunctive.cc.

Member Function Documentation

AddNoOverlap()

void AddNoOverlap

(

const std::vector< IntervalVariable > &

var

)

Definition at line 380 of file disjunctive.cc.

IncrementalPropagate()

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

inlinevirtualinherited

Reimplemented in LinearProgrammingConstraint, SchedulingConstraintHelper, CircuitCoveringPropagator, NoCyclePropagator, and CircuitPropagator.

Definition at line 1298 of file integer.h.

Propagate()

bool Propagate

finalvirtual

Implements PropagatorInterface.

Definition at line 391 of file disjunctive.cc.

---

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

• disjunctive.h
• disjunctive.cc