operations_research::sat::LinearBooleanProblemWrapper Member List

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

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