C++ Reference: lp_utils
This documentation is automatically generated.
Utility functions to interact with an lp solver from the SAT context.
Function |
Type |
Arguments |
Comments |
ConvertBinaryMPModelProtoToBooleanProblem | Return type: bool Arguments: const MPModelProto& mp_model, LinearBooleanProblem* problem |
ConvertBooleanProblemToLinearProgram | Return type: void Arguments: const LinearBooleanProblem& problem, glop::LinearProgram* lp |
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 |
FindRationalFactor | Return type: int Arguments: double x, int limit = 1e4, double tolerance = 1e-6 |
FixVariablesFromSat | Return type: int Arguments: const SatSolver& solver, glop::LinearProgram* lp |
RemoveNearZeroTerms | Return type: void Arguments: const SatParameters& params, MPModelProto* mp_model, SolverLogger* logger |
ScaleContinuousVariables | Return type: std::vector<double> Arguments: double scaling, double max_bound, MPModelProto* mp_model |
SolveLpAndUseIntegerVariableToStartLNS | Return type: bool Arguments: const glop::LinearProgram& lp, LinearBooleanProblem* problem |
SolveLpAndUseSolutionForSatAssignmentPreference | Return type: bool Arguments: const glop::LinearProgram& lp, SatSolver* sat_solver, double max_time_in_seconds |
Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 4.0 License, and code samples are licensed under the Apache 2.0 License. For details, see the Google Developers Site Policies. Java is a registered trademark of Oracle and/or its affiliates.
Last updated 2021-07-30 UTC.
[{
"type": "thumb-down",
"id": "missingTheInformationINeed",
"label":"Missing the information I need"
},{
"type": "thumb-down",
"id": "tooComplicatedTooManySteps",
"label":"Too complicated / too many steps"
},{
"type": "thumb-down",
"id": "outOfDate",
"label":"Out of date"
},{
"type": "thumb-down",
"id": "samplesCodeIssue",
"label":"Samples / code issue"
},{
"type": "thumb-down",
"id": "otherDown",
"label":"Other"
}]
[{
"type": "thumb-up",
"id": "easyToUnderstand",
"label":"Easy to understand"
},{
"type": "thumb-up",
"id": "solvedMyProblem",
"label":"Solved my problem"
},{
"type": "thumb-up",
"id": "otherUp",
"label":"Other"
}]