operations_research::sat::SavedVariable Class Reference

Detailed Description

Definition at line 81 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 84 of file presolve_context.h.

Member Function Documentation

Get()

int operations_research::sat::SavedVariable::Get

(

)

const

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