Google OR-Tools v9.12
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Member Functions | List of all members
operations_research::sat::RevIntegerValueRepository Class Reference

#include <integer.h>

Inheritance diagram for operations_research::sat::RevIntegerValueRepository:
operations_research::RevRepository< IntegerValue > operations_research::ReversibleInterface

Public Member Functions

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

Detailed Description

Definition at line 1085 of file integer.h.

Constructor & Destructor Documentation

◆ RevIntegerValueRepository()

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

Definition at line 1087 of file integer.h.

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