PbConstraintsEnqueueHelper

Detailed Description

Definition at line 348 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 = 0
std::vector< Literal >	conflict
std::vector< ReasonInfo >	reasons

Member Function Documentation

Enqueue()

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

inline

Definition at line 349 of file pb_constraint.h.

Member Data Documentation

conflict

std::vector<Literal> conflict

Definition at line 359 of file pb_constraint.h.

propagator_id

int propagator_id = 0

Definition at line 356 of file pb_constraint.h.

reasons

std::vector<ReasonInfo> reasons

Definition at line 367 of file pb_constraint.h.

---

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

• pb_constraint.h