OR-Tools  9.6
Static Public Attributes | List of all members
AssignmentType

Detailed Description

Definition at line 234 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 235 of file sat_base.h.

◆ kFirstFreePropagationId

constexpr int kFirstFreePropagationId = 4
staticconstexpr

Definition at line 241 of file sat_base.h.

◆ kSameReasonAs

constexpr int kSameReasonAs = 3
staticconstexpr

Definition at line 238 of file sat_base.h.

◆ kSearchDecision

constexpr int kSearchDecision = 2
staticconstexpr

Definition at line 237 of file sat_base.h.

◆ kUnitReason

constexpr int kUnitReason = 1
staticconstexpr

Definition at line 236 of file sat_base.h.

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