operations_research::sat::RevIntegerValueRepository Class Reference

Detailed Description

Definition at line 1093 of file integer.h.

#include <integer.h>

Inheritance diagram for operations_research::sat::RevIntegerValueRepository:

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 ()

Constructor & Destructor Documentation

RevIntegerValueRepository()

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

inlineexplicit

Definition at line 1095 of file integer.h.

---

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

• ortools/sat/integer.h