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

Detailed Description

Definition at line 81 of file variable_expand.h.

#include <variable_expand.h>

Public Member Functions

 OrderEncoding (int var, PresolveContext *context, SolutionCrush &solution_crush)
void InsertLeLiteral (int64_t value, int literal)
void InsertGeLiteral (int64_t value, int literal)
void CreateAllOrderEncodingLiterals (const ValueEncoding &values)
int ge_literal (int64_t value) const
int le_literal (int64_t value) const
int num_encoded_values () const

Constructor & Destructor Documentation

◆ OrderEncoding()

operations_research::sat::OrderEncoding::OrderEncoding ( int var,
PresolveContext * context,
SolutionCrush & solution_crush )

Definition at line 244 of file variable_expand.cc.

Member Function Documentation

◆ CreateAllOrderEncodingLiterals()

void operations_research::sat::OrderEncoding::CreateAllOrderEncodingLiterals ( const ValueEncoding & values)

Definition at line 302 of file variable_expand.cc.

◆ ge_literal()

int operations_research::sat::OrderEncoding::ge_literal ( int64_t value) const

Definition at line 385 of file variable_expand.cc.

◆ InsertGeLiteral()

void operations_research::sat::OrderEncoding::InsertGeLiteral ( int64_t value,
int literal )

Definition at line 264 of file variable_expand.cc.

◆ InsertLeLiteral()

void operations_research::sat::OrderEncoding::InsertLeLiteral ( int64_t value,
int literal )

Definition at line 251 of file variable_expand.cc.

◆ le_literal()

int operations_research::sat::OrderEncoding::le_literal ( int64_t value) const

Definition at line 393 of file variable_expand.cc.

◆ num_encoded_values()

int operations_research::sat::OrderEncoding::num_encoded_values ( ) const

Definition at line 399 of file variable_expand.cc.

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