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

Detailed Description

Definition at line 207 of file implied_bounds.h.

#include <implied_bounds.h>

Public Member Functions

 ElementEncodings ()=default
void Add (IntegerVariable var, const std::vector< ValueLiteralPair > &encoding, int exactly_one_index)
const absl::btree_map< int, std::vector< ValueLiteralPair > > & Get (IntegerVariable var)
const std::vector< IntegerVariable > & GetElementEncodedVariables () const

Constructor & Destructor Documentation

◆ ElementEncodings()

operations_research::sat::ElementEncodings::ElementEncodings ( )
default

Member Function Documentation

◆ Add()

void operations_research::sat::ElementEncodings::Add ( IntegerVariable var,
const std::vector< ValueLiteralPair > & encoding,
int exactly_one_index )

Definition at line 280 of file implied_bounds.cc.

◆ Get()

const absl::btree_map< int, std::vector< ValueLiteralPair > > & operations_research::sat::ElementEncodings::Get ( IntegerVariable var)

Definition at line 290 of file implied_bounds.cc.

◆ GetElementEncodedVariables()

const std::vector< IntegerVariable > & operations_research::sat::ElementEncodings::GetElementEncodedVariables ( ) const

Definition at line 300 of file implied_bounds.cc.

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