Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::AssignmentType Struct Reference

Detailed Description

Definition at line 310 of file sat_base.h.

#include <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

int operations_research::sat::AssignmentType::kCachedReason = 0
staticconstexpr

Definition at line 311 of file sat_base.h.

◆ kFirstFreePropagationId

int operations_research::sat::AssignmentType::kFirstFreePropagationId = 4
staticconstexpr

Definition at line 317 of file sat_base.h.

◆ kSameReasonAs

int operations_research::sat::AssignmentType::kSameReasonAs = 3
staticconstexpr

Definition at line 314 of file sat_base.h.

◆ kSearchDecision

int operations_research::sat::AssignmentType::kSearchDecision = 2
staticconstexpr

Definition at line 313 of file sat_base.h.

◆ kUnitReason

int operations_research::sat::AssignmentType::kUnitReason = 1
staticconstexpr

Definition at line 312 of file sat_base.h.

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