Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Attributes | List of all members
operations_research::sat::PbConstraintsEnqueueHelper::ReasonInfo Struct Reference

#include <pb_constraint.h>

Public Attributes

int source_trail_index
 
UpperBoundedLinearConstraint * pb_constraint
 

Detailed Description

Information needed to recover the reason of an Enqueue(). Indexed by trail_index.

Definition at line 366 of file pb_constraint.h.

Member Data Documentation

◆ pb_constraint

UpperBoundedLinearConstraint* operations_research::sat::PbConstraintsEnqueueHelper::ReasonInfo::pb_constraint

Definition at line 368 of file pb_constraint.h.

◆ source_trail_index

int operations_research::sat::PbConstraintsEnqueueHelper::ReasonInfo::source_trail_index

Definition at line 367 of file pb_constraint.h.

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