operations_research::sat::Relation Struct Reference

#include <precedences.h>

Public Attributes
Literal	enforcement
LinearTerm	a
LinearTerm	b
IntegerValue	lhs
IntegerValue	rhs

Detailed Description

A relation of the form enforcement => a + b \in [lhs, rhs].

Note

the [lhs, rhs] interval should always be within [min_activity, max_activity] where the activity is the value of a + b.

Definition at line 482 of file precedences.h.

Member Data Documentation

a

LinearTerm operations_research::sat::Relation::a

Definition at line 484 of file precedences.h.

b

LinearTerm operations_research::sat::Relation::b

Definition at line 485 of file precedences.h.

enforcement

Literal operations_research::sat::Relation::enforcement

Definition at line 483 of file precedences.h.

lhs

IntegerValue operations_research::sat::Relation::lhs

Definition at line 486 of file precedences.h.

rhs

IntegerValue operations_research::sat::Relation::rhs

Definition at line 487 of file precedences.h.

---

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

• ortools/sat/precedences.h