Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
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: