OR-Tools  8.2
PbConstraintsEnqueueHelper

Detailed Description

Definition at line 338 of file 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
 
std::vector< Literalconflict
 
std::vector< ReasonInforeasons
 

Member Function Documentation

◆ Enqueue()

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

Definition at line 339 of file pb_constraint.h.

Member Data Documentation

◆ conflict

std::vector<Literal> conflict

Definition at line 349 of file pb_constraint.h.

◆ propagator_id

int propagator_id

Definition at line 346 of file pb_constraint.h.

◆ reasons

std::vector<ReasonInfo> reasons

Definition at line 357 of file pb_constraint.h.


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