operations_research::sat::PrecedenceRelations::PrecedenceData Struct Reference

Detailed Description

Returns a set of precedences (var, index) such that var is after vars[index]. All entries for the same variable will be contiguous and sorted by index. We only list variable with at least two entries. The offset can be retrieved via UpperBound(vars[index], var).

For more efficiency, this method ignores all linear2 expressions with any coefficient different from 1.

Definition at line 122 of file precedences.h.

#include <precedences.h>

Public Attributes
IntegerVariable	var
int	index

Member Data Documentation

index

int operations_research::sat::PrecedenceRelations::PrecedenceData::index

Definition at line 124 of file precedences.h.

var

IntegerVariable operations_research::sat::PrecedenceRelations::PrecedenceData::var

Definition at line 123 of file precedences.h.

---

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

• ortools/sat/precedences.h