Detailed Description

Definition at line 43 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 (const std::string &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 64 of file bop_base.h.

Constructor & Destructor Documentation

◆ BopOptimizerBase()

BopOptimizerBase ( const std::string & name )

explicit

Definition at line 30 of file bop_base.cc.

◆ ~BopOptimizerBase()

~BopOptimizerBase ( )

virtual

Definition at line 35 of file bop_base.cc.

Member Function Documentation

◆ GetStatusString()

std::string GetStatusString ( Status status )

static

Definition at line 39 of file bop_base.cc.

◆ name()

const std::string & name ( ) const

inline

Definition at line 49 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 GuidedSatFirstSolutionGenerator, BopRandomFirstSolutionGenerator, LinearRelaxation, PortfolioOptimizer, and SatCoreBasedOptimizer.

◆ ShouldBeRun()

virtual bool ShouldBeRun ( const ProblemState & problem_state ) const

pure virtual

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

Member Data Documentation

◆ name_

const std::string name_

protected

Definition at line 101 of file bop_base.h.

◆ stats_

StatsGroup stats_

mutableprotected

Definition at line 103 of file bop_base.h.

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