operations_research::sat::Linear2Bounds Member List

This is the complete list of members for operations_research::sat::Linear2Bounds, including all inherited members.

AddReasonForUpperBoundLowerThan(LinearExpression2 expr, IntegerValue ub, std::vector< Literal > *literal_reason, std::vector< IntegerLiteral > *integer_reason) const	operations_research::sat::Linear2Bounds
EnqueueLowerOrEqual(LinearExpression2 expr, IntegerValue ub, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)	operations_research::sat::Linear2Bounds
Explain(int id, IntegerLiteral to_explain, IntegerReason *reason) final	operations_research::sat::Linear2Bounds	virtual
GetStatus(LinearExpression2 expr, IntegerValue lb, IntegerValue ub) const	operations_research::sat::Linear2Bounds
LazyReasonInterface()=default	operations_research::sat::LazyReasonInterface
LazyReasonName() const final	operations_research::sat::Linear2Bounds	inlinevirtual
Linear2Bounds(Model *model)	operations_research::sat::Linear2Bounds	inlineexplicit
NonTrivialUpperBound(LinearExpression2Index lin2_index) const	operations_research::sat::Linear2Bounds	inline
UpperBound(LinearExpression2 expr) const	operations_research::sat::Linear2Bounds
UpperBound(LinearExpression2Index lin2_index) const	operations_research::sat::Linear2Bounds
~LazyReasonInterface()=default	operations_research::sat::LazyReasonInterface	virtual
~Linear2Bounds()	operations_research::sat::Linear2Bounds