operations_research::sat::CutDataBuilder Member List

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

AddOrMergeTerm(const CutTerm &term, IntegerValue t, CutData *cut)	operations_research::sat::CutDataBuilder
ClearIndices()	operations_research::sat::CutDataBuilder
ClearNumMerges()	operations_research::sat::CutDataBuilder	inline
ConvertToLinearConstraint(const CutData &cut, LinearConstraint *output)	operations_research::sat::CutDataBuilder
NumMergesSinceLastClear() const	operations_research::sat::CutDataBuilder	inline