operations_research::sat::LinearTerm Struct Reference

#include <precedences.h>

Public Member Functions
void	MakeCoeffPositive ()

Public Attributes
IntegerVariable	var = kNoIntegerVariable
IntegerValue	coeff = IntegerValue(0)

Detailed Description

Similar to AffineExpression, but with a zero constant. If coeff is zero, then this is always zero and var is ignored.

Definition at line 467 of file precedences.h.

Member Function Documentation

MakeCoeffPositive()

void operations_research::sat::LinearTerm::MakeCoeffPositive ( )

inline

Definition at line 471 of file precedences.h.

Member Data Documentation

coeff

IntegerValue operations_research::sat::LinearTerm::coeff = IntegerValue(0)

Definition at line 469 of file precedences.h.

var

IntegerVariable operations_research::sat::LinearTerm::var = kNoIntegerVariable

Definition at line 468 of file precedences.h.

---

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

• ortools/sat/precedences.h