Go to the source code of this file.

Classes
struct	LinearRelaxation

Namespaces
	operations_research
	Collection of objects used to extend the Constraint Solver library.

	operations_research::sat

Functions
void	AppendRelaxationForEqualityEncoding (IntegerVariable var, const Model &model, LinearRelaxation relaxation, int num_tight, int *num_loose)

void	AppendPartialGreaterThanEncodingRelaxation (IntegerVariable var, const Model &model, LinearRelaxation *relaxation)

std::vector< Literal >	CreateAlternativeLiteralsWithView (int num_literals, Model model, LinearRelaxation relaxation)

void	AppendBoolOrRelaxation (const ConstraintProto &ct, Model model, LinearRelaxation relaxation)

void	AppendBoolAndRelaxation (const ConstraintProto &ct, Model model, LinearRelaxation relaxation, ActivityBoundHelper *activity_helper)

void	AppendAtMostOneRelaxation (const ConstraintProto &ct, Model model, LinearRelaxation relaxation)

void	AppendExactlyOneRelaxation (const ConstraintProto &ct, Model model, LinearRelaxation relaxation)

void	AppendLinMaxRelaxationPart1 (const ConstraintProto &ct, Model model, LinearRelaxation relaxation)

void	AppendLinMaxRelaxationPart2 (IntegerVariable target, const std::vector< Literal > &alternative_literals, const std::vector< LinearExpression > &exprs, Model model, LinearRelaxation relaxation)

void	AppendMaxAffineRelaxation (const ConstraintProto &ct, Model model, LinearRelaxation relaxation)

void	AppendLinearConstraintRelaxation (const ConstraintProto &ct, bool linearize_enforced_constraints, Model model, LinearRelaxation relaxation, ActivityBoundHelper *activity_helper)

void	AppendSquareRelaxation (const ConstraintProto &ct, Model m, LinearRelaxation relaxation)

void	AppendNoOverlapRelaxationAndCutGenerator (const ConstraintProto &ct, Model model, LinearRelaxation relaxation)

void	AppendCumulativeRelaxationAndCutGenerator (const ConstraintProto &ct, Model model, LinearRelaxation relaxation)

void	AddIntProdCutGenerator (const ConstraintProto &ct, int linearization_level, Model m, LinearRelaxation relaxation)

void	AddSquareCutGenerator (const ConstraintProto &ct, int linearization_level, Model m, LinearRelaxation relaxation)

void	AddAllDiffRelaxationAndCutGenerator (const ConstraintProto &ct, int linearization_level, Model m, LinearRelaxation relaxation)

void	AddLinMaxCutGenerator (const ConstraintProto &ct, Model m, LinearRelaxation relaxation)

void	AppendCircuitRelaxation (const ConstraintProto &ct, Model model, LinearRelaxation relaxation)

void	AppendRoutesRelaxation (const ConstraintProto &ct, Model model, LinearRelaxation relaxation)

void	AddCircuitCutGenerator (const ConstraintProto &ct, Model m, LinearRelaxation relaxation)

void	AddRoutesCutGenerator (const ConstraintProto &ct, Model m, LinearRelaxation relaxation)

void	AddCumulativeRelaxation (const AffineExpression &capacity, SchedulingConstraintHelper helper, SchedulingDemandHelper demands_helper, const std::optional< AffineExpression > &makespan, Model model, LinearRelaxation relaxation)

void	AddCumulativeCutGenerator (const AffineExpression &capacity, SchedulingConstraintHelper helper, SchedulingDemandHelper demands_helper, const std::optional< AffineExpression > &makespan, Model m, LinearRelaxation relaxation)

void	AddNoOverlapCutGenerator (SchedulingConstraintHelper helper, const std::optional< AffineExpression > &makespan, Model m, LinearRelaxation *relaxation)

void	AddNoOverlap2dCutGenerator (const ConstraintProto &ct, Model m, LinearRelaxation relaxation)

void	TryToLinearizeConstraint (const CpModelProto &model_proto, const ConstraintProto &ct, int linearization_level, Model model, LinearRelaxation relaxation, ActivityBoundHelper *activity_helper)

LinearRelaxation	ComputeLinearRelaxation (const CpModelProto &model_proto, Model *m)

Classes

Namespaces

Functions