operations_research::sat::PbConstraintsEnqueueHelper Struct Reference

#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< Literal >	conflict
	A temporary vector to store the last conflict.
std::vector< ReasonInfo >	reasons

Detailed Description

Definition at line 351 of file pb_constraint.h.

Member Function Documentation

Enqueue()

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

inline

Definition at line 352 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 362 of file pb_constraint.h.

propagator_id

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

The propagator id of PbConstraints.

Definition at line 359 of file pb_constraint.h.

reasons

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

Definition at line 370 of file pb_constraint.h.

---

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

• ortools/sat/pb_constraint.h