operations_research::sat::Linear2Watcher Class Reference

Detailed Description

Definition at line 154 of file precedences.h.

#include <precedences.h>

Public Member Functions
	Linear2Watcher (Model *model)
void	NotifyBoundChanged (LinearExpression2 expr)
void	WatchAllLinearExpressions2 (int id)
int64_t	Timestamp () const
int64_t	VarTimestamp (IntegerVariable var)

Constructor & Destructor Documentation

Linear2Watcher()

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

inlineexplicit

Definition at line 156 of file precedences.h.

Member Function Documentation

NotifyBoundChanged()

void operations_research::sat::Linear2Watcher::NotifyBoundChanged

(

LinearExpression2

expr

)

Definition at line 87 of file precedences.cc.

Timestamp()

int64_t operations_research::sat::Linear2Watcher::Timestamp ( ) const

inline

Definition at line 167 of file precedences.h.

VarTimestamp()

int64_t operations_research::sat::Linear2Watcher::VarTimestamp

(

IntegerVariable

var

)

Definition at line 103 of file precedences.cc.

WatchAllLinearExpressions2()

void operations_research::sat::Linear2Watcher::WatchAllLinearExpressions2 ( int id )

inline

Definition at line 164 of file precedences.h.

---

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

• ortools/sat/precedences.h
• ortools/sat/precedences.cc