Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Member Functions | List of all members
operations_research::bop::BopSolver Class Reference

Solver of Boolean Optimization Problems based on Local Search. More...

#include <bop_solver.h>

Public Member Functions

 BopSolver (const sat::LinearBooleanProblem &problem)
 
virtual ~BopSolver ()
 
void SetParameters (const BopParameters &parameters)
 Parameters management.
 
BopSolveStatus Solve ()
 Returns the status of the optimization.
 
BopSolveStatus Solve (const BopSolution &first_solution)
 
BopSolveStatus SolveWithTimeLimit (TimeLimit *time_limit)
 Runs the solver with an external time limit.
 
BopSolveStatus SolveWithTimeLimit (const BopSolution &first_solution, TimeLimit *time_limit)
 
const BopSolution & best_solution () const
 
bool GetSolutionValue (VariableIndex var_id) const
 
double GetScaledBestBound () const
 
double GetScaledGap () const
 

Detailed Description

Solver of Boolean Optimization Problems based on Local Search.

Definition at line 50 of file bop_solver.h.

Constructor & Destructor Documentation

◆ BopSolver()

operations_research::bop::BopSolver::BopSolver ( const sat::LinearBooleanProblem & problem)
explicit

BopSolver

Definition at line 75 of file bop_solver.cc.

◆ ~BopSolver()

operations_research::bop::BopSolver::~BopSolver ( )
virtual

Definition at line 83 of file bop_solver.cc.

Member Function Documentation

◆ best_solution()

const BopSolution & operations_research::bop::BopSolver::best_solution ( ) const
inline

Definition at line 69 of file bop_solver.h.

◆ GetScaledBestBound()

double operations_research::bop::BopSolver::GetScaledBestBound ( ) const

Returns the scaled best bound. In case of minimization (resp. maximization), the best bound is defined as the lower bound (resp. upper bound).

Definition at line 180 of file bop_solver.cc.

◆ GetScaledGap()

double operations_research::bop::BopSolver::GetScaledGap ( ) const

Definition at line 185 of file bop_solver.cc.

◆ GetSolutionValue()

bool operations_research::bop::BopSolver::GetSolutionValue ( VariableIndex var_id) const
inline

Definition at line 70 of file bop_solver.h.

◆ SetParameters()

void operations_research::bop::BopSolver::SetParameters ( const BopParameters & parameters)
inline

Parameters management.

Definition at line 56 of file bop_solver.h.

◆ Solve() [1/2]

BopSolveStatus operations_research::bop::BopSolver::Solve ( )

Returns the status of the optimization.

Definition at line 85 of file bop_solver.cc.

◆ Solve() [2/2]

BopSolveStatus operations_research::bop::BopSolver::Solve ( const BopSolution & first_solution)

Definition at line 149 of file bop_solver.cc.

◆ SolveWithTimeLimit() [1/2]

BopSolveStatus operations_research::bop::BopSolver::SolveWithTimeLimit ( const BopSolution & first_solution,
TimeLimit * time_limit )

Definition at line 155 of file bop_solver.cc.

◆ SolveWithTimeLimit() [2/2]

BopSolveStatus operations_research::bop::BopSolver::SolveWithTimeLimit ( TimeLimit * time_limit)

Runs the solver with an external time limit.

Definition at line 91 of file bop_solver.cc.

The documentation for this class was generated from the following files: