Detailed Description

Definition at line 119 of file bop_ls.h.

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

Public Member Functions
	LocalSearchOptimizer (const std::string &name, int max_num_decisions, absl::BitGenRef random, sat::SatSolver *sat_propagator)

	~LocalSearchOptimizer () override

const std::string &	name () const

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

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 67 of file bop_base.h.

Constructor & Destructor Documentation

◆ LocalSearchOptimizer()

LocalSearchOptimizer	(	const std::string &	name,
		int	max_num_decisions,
		absl::BitGenRef	random,
		sat::SatSolver *	sat_propagator
	)

Definition at line 41 of file bop_ls.cc.

◆ ~LocalSearchOptimizer()

~LocalSearchOptimizer ( )

override

Definition at line 52 of file bop_ls.cc.

Member Function Documentation

◆ GetStatusString()

std::string GetStatusString ( Status status )

staticinherited

Definition at line 41 of file bop_base.cc.

◆ name()

const std::string& name ( ) const

inlineinherited

Definition at line 52 of file bop_base.h.

Member Data Documentation

◆ name_

const std::string name_

protectedinherited

Definition at line 104 of file bop_base.h.

◆ stats_

StatsGroup stats_

mutableprotectedinherited

Definition at line 106 of file bop_base.h.

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