operations_research::sat::CpModelProtoWrapper Member List

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

AddConstraint(absl::Span< const int > clause, bool last_is_slack=false)	operations_research::sat::CpModelProtoWrapper	inline
AddObjectiveTerm(int literal, int64_t value)	operations_research::sat::CpModelProtoWrapper	inline
CpModelProtoWrapper(CpModelProto *p)	operations_research::sat::CpModelProtoWrapper	inlineexplicit
LiteralToRef(int signed_value)	operations_research::sat::CpModelProtoWrapper	inline
SetObjectiveOffset(int64_t offset)	operations_research::sat::CpModelProtoWrapper	inline
SetSizeAndPostprocess(int num_variables, int num_slacks)	operations_research::sat::CpModelProtoWrapper	inline