operations_research::sat::AssignmentType Struct Reference

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.

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

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