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

Detailed Description

Definition at line 74 of file cp_constraints.h.

#include <cp_constraints.h>

Inheritance diagram for operations_research::sat::GreaterThanAtLeastOneOfPropagator:
operations_research::sat::PropagatorInterface operations_research::sat::LazyReasonInterface

Public Member Functions

 GreaterThanAtLeastOneOfPropagator (IntegerVariable target_var, absl::Span< const AffineExpression > exprs, absl::Span< const Literal > selectors, absl::Span< const Literal > enforcements, Model *model)
 GreaterThanAtLeastOneOfPropagator (const GreaterThanAtLeastOneOfPropagator &)=delete
GreaterThanAtLeastOneOfPropagator & operator= (const GreaterThanAtLeastOneOfPropagator &)=delete
std::string LazyReasonName () const override
bool Propagate () final
void RegisterWith (GenericLiteralWatcher *watcher)
void Explain (int id, IntegerLiteral to_explain, IntegerReason *reason) final
Public Member Functions inherited from operations_research::sat::PropagatorInterface
 PropagatorInterface ()=default
virtual ~PropagatorInterface ()=default
virtual bool IncrementalPropagate (const std::vector< int > &)
Public Member Functions inherited from operations_research::sat::LazyReasonInterface
 LazyReasonInterface ()=default
virtual ~LazyReasonInterface ()=default

Constructor & Destructor Documentation

◆ GreaterThanAtLeastOneOfPropagator() [1/2]

operations_research::sat::GreaterThanAtLeastOneOfPropagator::GreaterThanAtLeastOneOfPropagator ( IntegerVariable target_var,
absl::Span< const AffineExpression > exprs,
absl::Span< const Literal > selectors,
absl::Span< const Literal > enforcements,
Model * model )

Definition at line 112 of file cp_constraints.cc.

◆ GreaterThanAtLeastOneOfPropagator() [2/2]

operations_research::sat::GreaterThanAtLeastOneOfPropagator::GreaterThanAtLeastOneOfPropagator ( const GreaterThanAtLeastOneOfPropagator & )
delete

Member Function Documentation

◆ Explain()

void operations_research::sat::GreaterThanAtLeastOneOfPropagator::Explain ( int id,
IntegerLiteral to_explain,
IntegerReason * reason )
finalvirtual

Implements operations_research::sat::LazyReasonInterface.

Definition at line 123 of file cp_constraints.cc.

◆ LazyReasonName()

std::string operations_research::sat::GreaterThanAtLeastOneOfPropagator::LazyReasonName ( ) const
inlineoverridevirtual

Implements operations_research::sat::LazyReasonInterface.

Definition at line 89 of file cp_constraints.h.

◆ operator=()

GreaterThanAtLeastOneOfPropagator & operations_research::sat::GreaterThanAtLeastOneOfPropagator::operator= ( const GreaterThanAtLeastOneOfPropagator & )
delete

◆ Propagate()

bool operations_research::sat::GreaterThanAtLeastOneOfPropagator::Propagate ( )
finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 165 of file cp_constraints.cc.

◆ RegisterWith()

void operations_research::sat::GreaterThanAtLeastOneOfPropagator::RegisterWith ( GenericLiteralWatcher * watcher)

Definition at line 217 of file cp_constraints.cc.

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