Detailed Description

Definition at line 30 of file variable_expand.h.

#include <variable_expand.h>

Public Member Functions
	ValueEncoding (int var, PresolveContext *context)
void	AddReferencedValueToEncode (int64_t value)
void	AddOptionalValueToEncode (int64_t value)
void	CanonicalizeEncodedValuesAndAddEscapeValue (bool push_down_when_unconstrained, bool has_le_ge_linear1)
bool	empty () const
bool	is_fully_encoded () const
const std::vector< int64_t > &	encoded_values () const
std::optional< int64_t >	unique_escape_value () const
void	ForceFullEncoding ()
void	CreateAllValueEncodingLiterals ()
int	literal (int64_t value) const
const absl::btree_map< int64_t, int > &	encoding () const

Constructor & Destructor Documentation

◆ ValueEncoding()

operations_research::sat::ValueEncoding::ValueEncoding	(	int	var,
		PresolveContext *	context )

Definition at line 149 of file variable_expand.cc.

Member Function Documentation

◆ AddOptionalValueToEncode()

void operations_research::sat::ValueEncoding::AddOptionalValueToEncode ( int64_t value )

Definition at line 158 of file variable_expand.cc.

◆ AddReferencedValueToEncode()

void operations_research::sat::ValueEncoding::AddReferencedValueToEncode ( int64_t value )

Definition at line 152 of file variable_expand.cc.

◆ CanonicalizeEncodedValuesAndAddEscapeValue()

void operations_research::sat::ValueEncoding::CanonicalizeEncodedValuesAndAddEscapeValue	(	bool	push_down_when_unconstrained,
		bool	has_le_ge_linear1 )

Definition at line 163 of file variable_expand.cc.

◆ CreateAllValueEncodingLiterals()

void operations_research::sat::ValueEncoding::CreateAllValueEncodingLiterals ( )

Definition at line 225 of file variable_expand.cc.

◆ empty()

bool operations_research::sat::ValueEncoding::empty ( ) const

Definition at line 199 of file variable_expand.cc.

◆ encoded_values()

const std::vector< int64_t > & operations_research::sat::ValueEncoding::encoded_values ( ) const

Definition at line 194 of file variable_expand.cc.

◆ encoding()

const absl::btree_map< int64_t, int > & operations_research::sat::ValueEncoding::encoding ( ) const

Definition at line 239 of file variable_expand.cc.

◆ ForceFullEncoding()

void operations_research::sat::ValueEncoding::ForceFullEncoding ( )

Definition at line 214 of file variable_expand.cc.

◆ is_fully_encoded()

bool operations_research::sat::ValueEncoding::is_fully_encoded ( ) const

Definition at line 204 of file variable_expand.cc.

◆ literal()

int operations_research::sat::ValueEncoding::literal ( int64_t value ) const

Definition at line 232 of file variable_expand.cc.

◆ unique_escape_value()

std::optional< int64_t > operations_research::sat::ValueEncoding::unique_escape_value ( ) const

Definition at line 209 of file variable_expand.cc.

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

ortools/sat/variable_expand.h
ortools/sat/variable_expand.cc