OR-Tools  8.2
SatCoreBasedOptimizer

Detailed Description

Definition at line 44 of file complete_optimizer.h.

Public Types

enum  Status {
  OPTIMAL_SOLUTION_FOUND , SOLUTION_FOUND , INFEASIBLE , LIMIT_REACHED ,
  INFORMATION_FOUND , CONTINUE , ABORT
}
 

Public Member Functions

 SatCoreBasedOptimizer (const std::string &name)
 
 ~SatCoreBasedOptimizer () override
 
const std::string & name () const
 

Static Public Member Functions

static std::string GetStatusString (Status status)
 

Protected Member Functions

bool ShouldBeRun (const ProblemState &problem_state) const override
 
Status Optimize (const BopParameters &parameters, const ProblemState &problem_state, LearnedInfo *learned_info, TimeLimit *time_limit) override
 

Protected Attributes

const std::string name_
 
StatsGroup stats_
 

Member Enumeration Documentation

◆ Status

enum Status
inherited
Enumerator
OPTIMAL_SOLUTION_FOUND 
SOLUTION_FOUND 
INFEASIBLE 
LIMIT_REACHED 
INFORMATION_FOUND 
CONTINUE 
ABORT 

Definition at line 64 of file bop_base.h.

Constructor & Destructor Documentation

◆ SatCoreBasedOptimizer()

SatCoreBasedOptimizer ( const std::string &  name)
explicit

Definition at line 24 of file complete_optimizer.cc.

◆ ~SatCoreBasedOptimizer()

~SatCoreBasedOptimizer ( )
override

Definition at line 34 of file complete_optimizer.cc.

Member Function Documentation

◆ GetStatusString()

std::string GetStatusString ( Status  status)
staticinherited

Definition at line 39 of file bop_base.cc.

◆ name()

const std::string & name ( ) const
inlineinherited

Definition at line 49 of file bop_base.h.

◆ Optimize()

BopOptimizerBase::Status Optimize ( const BopParameters &  parameters,
const ProblemState problem_state,
LearnedInfo learned_info,
TimeLimit time_limit 
)
overrideprotectedvirtual

Implements BopOptimizerBase.

Definition at line 83 of file complete_optimizer.cc.

◆ ShouldBeRun()

bool ShouldBeRun ( const ProblemState problem_state) const
overrideprotectedvirtual

Implements BopOptimizerBase.

Definition at line 78 of file complete_optimizer.cc.

Member Data Documentation

◆ name_

const std::string name_
protectedinherited

Definition at line 101 of file bop_base.h.

◆ stats_

StatsGroup stats_
mutableprotectedinherited

Definition at line 103 of file bop_base.h.


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