operations_research::sat::CutDataBuilder Member List

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

AddOrMergeBooleanTerms(absl::Span< CutTerm > terms, IntegerValue t, CutData *cut)	operations_research::sat::CutDataBuilder
ConvertToLinearConstraint(const CutData &cut, LinearConstraint *output)	operations_research::sat::CutDataBuilder