operations_research::sat::BooleanOrIntegerVariable Struct Reference

#include <integer_search.h>

Public Attributes
BooleanVariable	bool_var = kNoBooleanVariable
IntegerVariable	int_var = kNoIntegerVariable

Detailed Description

Set the first unassigned Literal/Variable to its value.

Todo

(user): This is currently quadratic as we scan all variables to find the first unassigned one. Fix. Note that this is also the case in many other heuristics and should be fixed.

Definition at line 201 of file integer_search.h.

Member Data Documentation

bool_var

BooleanVariable operations_research::sat::BooleanOrIntegerVariable::bool_var = kNoBooleanVariable

Definition at line 202 of file integer_search.h.

int_var

IntegerVariable operations_research::sat::BooleanOrIntegerVariable::int_var = kNoIntegerVariable

Definition at line 203 of file integer_search.h.

---

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

• ortools/sat/integer_search.h