OR-Tools  8.2
AssignmentType

Detailed Description

Definition at line 220 of file sat_base.h.

Static Public Attributes

static constexpr int kCachedReason = 0
 
static constexpr int kUnitReason = 1
 
static constexpr int kSearchDecision = 2
 
static constexpr int kSameReasonAs = 3
 
static constexpr int kFirstFreePropagationId = 4
 

Member Data Documentation

◆ kCachedReason

constexpr int kCachedReason = 0
staticconstexpr

Definition at line 221 of file sat_base.h.

◆ kFirstFreePropagationId

constexpr int kFirstFreePropagationId = 4
staticconstexpr

Definition at line 227 of file sat_base.h.

◆ kSameReasonAs

constexpr int kSameReasonAs = 3
staticconstexpr

Definition at line 224 of file sat_base.h.

◆ kSearchDecision

constexpr int kSearchDecision = 2
staticconstexpr

Definition at line 223 of file sat_base.h.

◆ kUnitReason

constexpr int kUnitReason = 1
staticconstexpr

Definition at line 222 of file sat_base.h.


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