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

Detailed Description

Definition at line 807 of file precedences.h.

#include <precedences.h>

Public Member Functions

 GreaterThanAtLeastOneOfDetector (Model *model)
 ~GreaterThanAtLeastOneOfDetector ()
int AddGreaterThanAtLeastOneOfConstraints (Model *model, bool auto_detect_clauses=false)

Constructor & Destructor Documentation

◆ GreaterThanAtLeastOneOfDetector()

operations_research::sat::GreaterThanAtLeastOneOfDetector::GreaterThanAtLeastOneOfDetector ( Model * model)
inlineexplicit

Definition at line 809 of file precedences.h.

◆ ~GreaterThanAtLeastOneOfDetector()

operations_research::sat::GreaterThanAtLeastOneOfDetector::~GreaterThanAtLeastOneOfDetector ( )

Definition at line 1250 of file precedences.cc.

Member Function Documentation

◆ AddGreaterThanAtLeastOneOfConstraints()

int operations_research::sat::GreaterThanAtLeastOneOfDetector::AddGreaterThanAtLeastOneOfConstraints ( Model * model,
bool auto_detect_clauses = false )

Definition at line 1170 of file precedences.cc.

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