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

Detailed Description

Definition at line 552 of file precedences.h.

#include <precedences.h>

Public Member Functions

 ConditionalLinear2Bounds (Model *model)
 ~ConditionalLinear2Bounds ()
int size () const
const Relation & relation (int index) const
absl::Span< const int > IndicesOfRelationsEnforcedBy (LiteralIndex lit) const
void Add (Literal lit, LinearExpression2 expr, IntegerValue lhs, IntegerValue rhs)
void AddPartialRelation (Literal lit, IntegerVariable a, IntegerVariable b)
void Build ()

Constructor & Destructor Documentation

◆ ConditionalLinear2Bounds()

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

Definition at line 554 of file precedences.h.

◆ ~ConditionalLinear2Bounds()

operations_research::sat::ConditionalLinear2Bounds::~ConditionalLinear2Bounds ( )

Definition at line 745 of file precedences.cc.

Member Function Documentation

◆ Add()

void operations_research::sat::ConditionalLinear2Bounds::Add ( Literal lit,
LinearExpression2 expr,
IntegerValue lhs,
IntegerValue rhs )

Definition at line 755 of file precedences.cc.

◆ AddPartialRelation()

void operations_research::sat::ConditionalLinear2Bounds::AddPartialRelation ( Literal lit,
IntegerVariable a,
IntegerVariable b )

Definition at line 768 of file precedences.cc.

◆ Build()

void operations_research::sat::ConditionalLinear2Bounds::Build ( )

Definition at line 777 of file precedences.cc.

◆ IndicesOfRelationsEnforcedBy()

absl::Span< const int > operations_research::sat::ConditionalLinear2Bounds::IndicesOfRelationsEnforcedBy ( LiteralIndex lit) const
inline

Definition at line 568 of file precedences.h.

◆ relation()

const Relation & operations_research::sat::ConditionalLinear2Bounds::relation ( int index) const
inline

Definition at line 564 of file precedences.h.

◆ size()

int operations_research::sat::ConditionalLinear2Bounds::size ( ) const
inline

Definition at line 559 of file precedences.h.

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