OR-Tools  8.2
GreaterThanAtLeastOneOfPropagator

Detailed Description

Definition at line 70 of file cp_constraints.h.

Public Member Functions

 GreaterThanAtLeastOneOfPropagator (IntegerVariable target_var, const absl::Span< const IntegerVariable > vars, const absl::Span< const IntegerValue > offsets, const absl::Span< const Literal > selectors, const absl::Span< const Literal > enforcements, Model *model)
 
bool Propagate () final
 
void RegisterWith (GenericLiteralWatcher *watcher)
 
virtual bool IncrementalPropagate (const std::vector< int > &watch_indices)
 

Constructor & Destructor Documentation

◆ GreaterThanAtLeastOneOfPropagator()

GreaterThanAtLeastOneOfPropagator ( IntegerVariable  target_var,
const absl::Span< const IntegerVariable >  vars,
const absl::Span< const IntegerValue >  offsets,
const absl::Span< const Literal selectors,
const absl::Span< const Literal enforcements,
Model model 
)

Definition at line 79 of file cp_constraints.cc.

Member Function Documentation

◆ IncrementalPropagate()

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

◆ Propagate()

bool Propagate ( )
finalvirtual

Implements PropagatorInterface.

Definition at line 92 of file cp_constraints.cc.

◆ RegisterWith()

void RegisterWith ( GenericLiteralWatcher watcher)

Definition at line 137 of file cp_constraints.cc.


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