ComputeTrueObjectiveLowerBound | Return type: double Arguments: const CpModelProto& model_proto_with_floating_point_objective, const CpObjectiveProto& integer_objective, const int64_t inner_integer_objective_lower_bound |
ConvertBinaryMPModelProtoToBooleanProblem | Return type: bool Arguments: const MPModelProto& mp_model, LinearBooleanProblem* problem |
ConvertBooleanProblemToLinearProgram | Return type: void Arguments: const LinearBooleanProblem& problem, glop::LinearProgram* lp |
ConvertCpModelProtoToMPModelProto | Return type: bool Arguments: const CpModelProto& input, MPModelProto* output |
ConvertMPModelProtoToCpModelProto | Return type: bool Arguments: const SatParameters& params, const MPModelProto& mp_model, CpModelProto* cp_model, SolverLogger* logger |
DetectImpliedIntegers | Return type: std::vector<double> Arguments: MPModelProto* mp_model, SolverLogger* logger |
FindBestScalingAndComputeErrors | Return type: double Arguments: const std::vector<double>& coefficients, const std::vector<double>& lower_bounds, const std::vector<double>& upper_bounds, int64_t max_absolute_activity, double wanted_absolute_activity_precision, double* relative_coeff_error, double* scaled_sum_error |
FindRationalFactor | Return type: int Arguments: double x, int limit = 1e4, double tolerance = 1e-6 |
MakeBoundsOfIntegerVariablesInteger | Return type: bool Arguments: const SatParameters& params, MPModelProto* mp_model, SolverLogger* logger |
MPModelProtoValidationBeforeConversion | Return type: bool Arguments: const SatParameters& params, const MPModelProto& mp_model, SolverLogger* logger |
RemoveNearZeroTerms | Return type: void Arguments: const SatParameters& params, MPModelProto* mp_model, SolverLogger* logger |
ScaleAndSetObjective | Return type: bool Arguments: const SatParameters& params, const std::vector<std::pair<int, double>>& objective, double objective_offset, bool maximize, CpModelProto* cp_model, SolverLogger* logger |
ScaleContinuousVariables | Return type: std::vector<double> Arguments: double scaling, double max_bound, MPModelProto* mp_model |
