LinearBooleanProblemWrapper Member List

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

AddConstraint(absl::Span< const int > clause)	LinearBooleanProblemWrapper	inline
AddObjectiveTerm(int literal, int64_t value)	LinearBooleanProblemWrapper	inline
LinearBooleanProblemWrapper(LinearBooleanProblem *p)	LinearBooleanProblemWrapper	inlineexplicit
problem	LinearBooleanProblemWrapper
SetNumVariables(int num)	LinearBooleanProblemWrapper	inline
SetObjectiveOffset(int64_t offset)	LinearBooleanProblemWrapper	inline
SetOriginalNumVariables(int num)	LinearBooleanProblemWrapper	inline