Detailed Description

Definition at line 114 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, 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 61 of file bop_base.h.

Constructor & Destructor Documentation

◆ LocalSearchOptimizer()

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

Definition at line 32 of file bop_ls.cc.

◆ ~LocalSearchOptimizer()

~LocalSearchOptimizer ( )

override

Definition at line 41 of file bop_ls.cc.

Member Function Documentation

◆ GetStatusString()

std::string GetStatusString ( Status status )

staticinherited

Definition at line 38 of file bop_base.cc.

◆ name()

const std::string& name ( ) const

inlineinherited

Definition at line 46 of file bop_base.h.

Member Data Documentation

◆ name_

const std::string name_

protectedinherited

Definition at line 98 of file bop_base.h.

◆ stats_

StatsGroup stats_

mutableprotectedinherited

Definition at line 100 of file bop_base.h.

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