Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::RevIntRepository Class Reference

Detailed Description

Singleton for basic reversible types. We need the wrapper so that they can be accessed with model->GetOrCreate<>() and properly registered at creation.

Definition at line 1087 of file integer.h.

#include <integer.h>

Inheritance diagram for operations_research::sat::RevIntRepository:
operations_research::RevRepository< int > operations_research::ReversibleInterface

Public Member Functions

 RevIntRepository (Model *model)
Public Member Functions inherited from operations_research::RevRepository< int >
 RevRepository ()
void SetLevel (int level) final
int Level () const
void SaveState (int *object)
void SaveStateWithStamp (int *object, int64_t *stamp)
Public Member Functions inherited from operations_research::ReversibleInterface
 ReversibleInterface ()
virtual ~ReversibleInterface ()

Constructor & Destructor Documentation

◆ RevIntRepository()

operations_research::sat::RevIntRepository::RevIntRepository ( Model * model)
inlineexplicit

Definition at line 1089 of file integer.h.


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