OR-Tools  8.2
BopSolver

Detailed Description

Definition at line 60 of file bop_solver.h.

Public Member Functions

 BopSolver (const sat::LinearBooleanProblem &problem)
 
virtual ~BopSolver ()
 
void SetParameters (const BopParameters &parameters)
 
BopSolveStatus Solve ()
 
BopSolveStatus Solve (const BopSolution &first_solution)
 
BopSolveStatus SolveWithTimeLimit (TimeLimit *time_limit)
 
BopSolveStatus SolveWithTimeLimit (const BopSolution &first_solution, TimeLimit *time_limit)
 
const BopSolutionbest_solution () const
 
bool GetSolutionValue (VariableIndex var_id) const
 
double GetScaledBestBound () const
 
double GetScaledGap () const
 

Constructor & Destructor Documentation

◆ BopSolver()

BopSolver ( const sat::LinearBooleanProblem &  problem)
explicit

Definition at line 70 of file bop_solver.cc.

◆ ~BopSolver()

~BopSolver ( )
virtual

Definition at line 78 of file bop_solver.cc.

Member Function Documentation

◆ best_solution()

const BopSolution & best_solution ( ) const
inline

Definition at line 79 of file bop_solver.h.

◆ GetScaledBestBound()

double GetScaledBestBound ( ) const

Definition at line 175 of file bop_solver.cc.

◆ GetScaledGap()

double GetScaledGap ( ) const

Definition at line 180 of file bop_solver.cc.

◆ GetSolutionValue()

bool GetSolutionValue ( VariableIndex  var_id) const
inline

Definition at line 80 of file bop_solver.h.

◆ SetParameters()

void SetParameters ( const BopParameters &  parameters)
inline

Definition at line 66 of file bop_solver.h.

◆ Solve() [1/2]

BopSolveStatus Solve ( )

Definition at line 80 of file bop_solver.cc.

◆ Solve() [2/2]

BopSolveStatus Solve ( const BopSolution first_solution)

Definition at line 144 of file bop_solver.cc.

◆ SolveWithTimeLimit() [1/2]

BopSolveStatus SolveWithTimeLimit ( const BopSolution first_solution,
TimeLimit time_limit 
)

Definition at line 150 of file bop_solver.cc.

◆ SolveWithTimeLimit() [2/2]

BopSolveStatus SolveWithTimeLimit ( TimeLimit time_limit)

Definition at line 86 of file bop_solver.cc.


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