operations_research::sat::SavedVariable Class Reference

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 78 of file presolve_context.h.

#include <presolve_context.h>

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

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 81 of file presolve_context.h.

Member Function Documentation

Get()

int operations_research::sat::SavedVariable::Get

(

)

const

Definition at line 71 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