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

Detailed Description

Definition at line 350 of file pb_constraint.h.

#include <pb_constraint.h>

Classes

struct  ReasonInfo

Public Member Functions

void Enqueue (Literal l, int source_trail_index, UpperBoundedLinearConstraint *ct, Trail *trail)

Public Attributes

int propagator_id = 0
 The propagator id of PbConstraints.
std::vector< Literalconflict
 A temporary vector to store the last conflict.
std::vector< ReasonInforeasons

Member Function Documentation

◆ Enqueue()

void operations_research::sat::PbConstraintsEnqueueHelper::Enqueue ( Literal l,
int source_trail_index,
UpperBoundedLinearConstraint * ct,
Trail * trail )
inline

Definition at line 351 of file pb_constraint.h.

Member Data Documentation

◆ conflict

std::vector<Literal> operations_research::sat::PbConstraintsEnqueueHelper::conflict

A temporary vector to store the last conflict.

Definition at line 361 of file pb_constraint.h.

◆ propagator_id

int operations_research::sat::PbConstraintsEnqueueHelper::propagator_id = 0

The propagator id of PbConstraints.

Definition at line 358 of file pb_constraint.h.

◆ reasons

std::vector<ReasonInfo> operations_research::sat::PbConstraintsEnqueueHelper::reasons

Definition at line 369 of file pb_constraint.h.


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