operations_research::sat::SavedVariable Class Reference

#include <presolve_context.h>

Public Member Functions
	SavedVariable ()=default
	SavedVariable (int ref)
int	Get () const

Detailed Description

Same as SavedLiteral for variable.

Todo

(user): get rid of this, we don't have the notion of equivalent variable anymore, but the more general affine relation one. We just need to support general affine for the linear1 involving an absolute value.

Definition at line 73 of file presolve_context.h.

Constructor & Destructor Documentation

SavedVariable() [1/2]

operations_research::sat::SavedVariable::SavedVariable ( )

default

SavedVariable() [2/2]

operations_research::sat::SavedVariable::SavedVariable ( int ref )

inlineexplicit

Definition at line 76 of file presolve_context.h.

Member Function Documentation

Get()

int operations_research::sat::SavedVariable::Get

(

)

const

Definition at line 68 of file presolve_context.cc.

---

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

• ortools/sat/presolve_context.h
• ortools/sat/presolve_context.cc