Detailed Description

Definition at line 46 of file bop_base.h.

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

Public Member Functions
	BopOptimizerBase (absl::string_view name)

virtual	~BopOptimizerBase ()

const std::string &	name () const

virtual bool	ShouldBeRun (const ProblemState &problem_state) const =0

virtual Status	Optimize (const BopParameters &parameters, const ProblemState &problem_state, LearnedInfo learned_info, TimeLimit time_limit)=0

Static Public Member Functions
static std::string	GetStatusString (Status status)

Protected Attributes
const std::string	name_

StatsGroup	stats_

Member Enumeration Documentation

◆ Status

enum Status

Enumerator
OPTIMAL_SOLUTION_FOUND
SOLUTION_FOUND
INFEASIBLE
LIMIT_REACHED
INFORMATION_FOUND
CONTINUE
ABORT

Definition at line 67 of file bop_base.h.

Constructor & Destructor Documentation

◆ BopOptimizerBase()

BopOptimizerBase ( absl::string_view name )

explicit

Definition at line 32 of file bop_base.cc.

◆ ~BopOptimizerBase()

~BopOptimizerBase ( )

virtual

Definition at line 37 of file bop_base.cc.

Member Function Documentation

◆ GetStatusString()

std::string GetStatusString ( Status status )

static

Definition at line 41 of file bop_base.cc.

◆ name()

const std::string& name ( ) const

inline

Definition at line 52 of file bop_base.h.

◆ Optimize()

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

pure virtual

Implemented in SatCoreBasedOptimizer, PortfolioOptimizer, LinearRelaxation, BopRandomFirstSolutionGenerator, and GuidedSatFirstSolutionGenerator.

◆ ShouldBeRun()

virtual bool ShouldBeRun ( const ProblemState & problem_state ) const

pure virtual

Implemented in SatCoreBasedOptimizer, PortfolioOptimizer, LinearRelaxation, BopRandomFirstSolutionGenerator, and GuidedSatFirstSolutionGenerator.

Member Data Documentation

◆ name_

const std::string name_

protected

Definition at line 104 of file bop_base.h.

◆ stats_

StatsGroup stats_

mutableprotected

Definition at line 106 of file bop_base.h.

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