operations_research::sat::SavedLiteral Class Reference

#include <presolve_context.h>

Public Member Functions
	SavedLiteral ()=default
	SavedLiteral (int ref)
int	Get (PresolveContext *context) const

Detailed Description

When storing a reference to a literal, it is important not to forget when reading it back to take its representative. Otherwise, we might introduce literal that have already been removed, which will break invariants in a bunch of places.

Definition at line 58 of file presolve_context.h.

Constructor & Destructor Documentation

SavedLiteral() [1/2]

operations_research::sat::SavedLiteral::SavedLiteral ( )

default

SavedLiteral() [2/2]

operations_research::sat::SavedLiteral::SavedLiteral ( int ref )

inlineexplicit

Definition at line 61 of file presolve_context.h.

Member Function Documentation

Get()

int operations_research::sat::SavedLiteral::Get

(

PresolveContext *

context

)

const

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