linear_constraint.cc File Reference

Go to the source code of this file.

Namespaces
	operations_research
	The vehicle routing library lets one model and solve generic vehicle routing problems ranging from the Traveling Salesman Problem to more complex problems such as the Capacitated Vehicle Routing Problem with Time Windows.
	operations_research::sat

Functions
void	CleanTermsAndFillConstraint (std::vector< std::pair< IntegerVariable, IntegerValue >> *terms, LinearConstraint *constraint)
double	ComputeActivity (const LinearConstraint &constraint, const absl::StrongVector< IntegerVariable, double > &values)
double	ComputeL2Norm (const LinearConstraint &constraint)
IntegerValue	ComputeInfinityNorm (const LinearConstraint &constraint)
double	ScalarProduct (const LinearConstraint &constraint1, const LinearConstraint &constraint2)
void	DivideByGCD (LinearConstraint *constraint)
void	RemoveZeroTerms (LinearConstraint *constraint)
void	MakeAllCoefficientsPositive (LinearConstraint *constraint)
void	MakeAllVariablesPositive (LinearConstraint *constraint)
void	CanonicalizeConstraint (LinearConstraint *ct)
bool	NoDuplicateVariable (const LinearConstraint &ct)
LinearExpression	CanonicalizeExpr (const LinearExpression &expr)
IntegerValue	LinExprLowerBound (const LinearExpression &expr, const IntegerTrail &integer_trail)
IntegerValue	LinExprUpperBound (const LinearExpression &expr, const IntegerTrail &integer_trail)
LinearExpression	NegationOf (const LinearExpression &expr)
LinearExpression	PositiveVarExpr (const LinearExpression &expr)
IntegerValue	GetCoefficient (const IntegerVariable var, const LinearExpression &expr)
IntegerValue	GetCoefficientOfPositiveVar (const IntegerVariable var, const LinearExpression &expr)