operations_research::sat::Relation Struct Reference

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 498 of file precedences.h.

#include <precedences.h>

Public Member Functions
bool	operator== (const Relation &other) const

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

Member Function Documentation

operator==()

bool operations_research::sat::Relation::operator== ( const Relation & other ) const

inline

Definition at line 505 of file precedences.h.

Member Data Documentation

a

LinearTerm operations_research::sat::Relation::a

Definition at line 500 of file precedences.h.

b

LinearTerm operations_research::sat::Relation::b

Definition at line 501 of file precedences.h.

enforcement

Literal operations_research::sat::Relation::enforcement

Definition at line 499 of file precedences.h.

lhs

IntegerValue operations_research::sat::Relation::lhs

Definition at line 502 of file precedences.h.

rhs

IntegerValue operations_research::sat::Relation::rhs

Definition at line 503 of file precedences.h.

---

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

• ortools/sat/precedences.h