Detailed Description

Definition at line 356 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
std::vector< std::tuple< int, int, int > >	temporary_tuples

Member Function Documentation

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

inline

Definition at line 357 of file pb_constraint.h.

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

Definition at line 367 of file pb_constraint.h.

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

Definition at line 364 of file pb_constraint.h.

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

Definition at line 375 of file pb_constraint.h.

std::vector<std::tuple<int, int, int> > operations_research::sat::PbConstraintsEnqueueHelper::temporary_tuples

mutable

Definition at line 378 of file pb_constraint.h.

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