operations_research::sat::AssignmentType Struct Reference

#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
	Propagator ids starts from there and are created dynamically.

Detailed Description

Each literal on the trail will have an associated propagation "type" which is either one of these special types or the id of a propagator.

Definition at line 275 of file sat_base.h.

Member Data Documentation

kCachedReason

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

staticconstexpr

Definition at line 276 of file sat_base.h.

kFirstFreePropagationId

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

staticconstexpr

Propagator ids starts from there and are created dynamically.

Definition at line 282 of file sat_base.h.

kSameReasonAs

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

staticconstexpr

Definition at line 279 of file sat_base.h.

kSearchDecision

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

staticconstexpr

Definition at line 278 of file sat_base.h.

kUnitReason

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

staticconstexpr

Definition at line 277 of file sat_base.h.

---

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

• ortools/sat/sat_base.h