operations_research::bop Namespace Reference

Classes
class	AdaptiveParameterValue
class	AssignmentAndConstraintFeasibilityMaintainer
class	BacktrackableIntegerSet
class	BopAdaptiveLNSOptimizer
class	BopCompleteLNSOptimizer
struct	BopConstraintTerm
class	BopOptimizerBase
class	BopRandomFirstSolutionGenerator
class	BopSolution
class	BopSolver
class	ConstraintBasedNeighborhood
class	GuidedSatFirstSolutionGenerator
class	IntegralSolver
struct	LearnedInfo
class	LinearRelaxation
class	LocalSearchAssignmentIterator
class	LocalSearchOptimizer
class	LubyAdaptiveParameterValue
class	NeighborhoodGenerator
class	NonOrderedSetHasher
class	ObjectiveBasedNeighborhood
class	OneFlipConstraintRepairer
class	OptimizerSelector
class	PortfolioOptimizer
class	ProblemState
class	RelationGraphBasedNeighborhood
class	SatCoreBasedOptimizer
class	SatWrapper

Typedefs
typedef absl::StrongVector< SparseIndex, BopConstraintTerm >	BopConstraintTerms

Enumerations
enum class	BopSolveStatus {   OPTIMAL_SOLUTION_FOUND , FEASIBLE_SOLUTION_FOUND , NO_SOLUTION_FOUND , INFEASIBLE_PROBLEM ,   INVALID_PROBLEM }

Functions
std::ostream &	operator<< (std::ostream &os, BopOptimizerBase::Status status)
	DEFINE_INT_TYPE (OptimizerIndex, int)
const OptimizerIndex	kInvalidOptimizerIndex (-1)
	DEFINE_INT_TYPE (ConstraintIndex, int)
	DEFINE_INT_TYPE (EntryIndex, int)
	DEFINE_INT_TYPE (SearchIndex, int)
	DEFINE_INT_TYPE (TermIndex, int)
	DEFINE_INT_TYPE (VariableIndex, int)
	DEFINE_INT_TYPE (SolverTimeStamp, int64_t)
std::string	GetSolveStatusString (BopSolveStatus status)
std::ostream &	operator<< (std::ostream &os, BopSolveStatus status)
	DEFINE_INT_TYPE (SparseIndex, int)
BopOptimizerBase::Status	LoadStateProblemToSatSolver (const ProblemState &problem_state, sat::SatSolver *sat_solver)
void	ExtractLearnedInfoFromSatSolver (sat::SatSolver *solver, LearnedInfo *info)
void	SatAssignmentToBopSolution (const sat::VariablesAssignment &assignment, BopSolution *solution)

Typedef Documentation

BopConstraintTerms

typedef absl::StrongVector<SparseIndex, BopConstraintTerm> BopConstraintTerms

Definition at line 87 of file bop_types.h.

Enumeration Type Documentation

BopSolveStatus

enum class BopSolveStatus

strong

Enumerator
OPTIMAL_SOLUTION_FOUND
FEASIBLE_SOLUTION_FOUND
NO_SOLUTION_FOUND
INFEASIBLE_PROBLEM
INVALID_PROBLEM

Definition at line 33 of file bop_types.h.

Function Documentation

DEFINE_INT_TYPE() [1/8]

DEFINE_INT_TYPE	(	ConstraintIndex	,
		int
	)

DEFINE_INT_TYPE() [2/8]

DEFINE_INT_TYPE	(	EntryIndex	,
		int
	)

DEFINE_INT_TYPE() [3/8]

DEFINE_INT_TYPE	(	OptimizerIndex	,
		int
	)

DEFINE_INT_TYPE() [4/8]

DEFINE_INT_TYPE	(	SearchIndex	,
		int
	)

DEFINE_INT_TYPE() [5/8]

DEFINE_INT_TYPE	(	SolverTimeStamp	,
		int64_t
	)

DEFINE_INT_TYPE() [6/8]

DEFINE_INT_TYPE	(	SparseIndex	,
		int
	)

DEFINE_INT_TYPE() [7/8]

DEFINE_INT_TYPE	(	TermIndex	,
		int
	)

DEFINE_INT_TYPE() [8/8]

DEFINE_INT_TYPE	(	VariableIndex	,
		int
	)

ExtractLearnedInfoFromSatSolver()

void ExtractLearnedInfoFromSatSolver	(	sat::SatSolver *	solver,
		LearnedInfo *	info
	)

Definition at line 99 of file bop_util.cc.

GetSolveStatusString()

std::string GetSolveStatusString ( BopSolveStatus  status )

inline

Definition at line 51 of file bop_types.h.

kInvalidOptimizerIndex()

const OptimizerIndex kInvalidOptimizerIndex

(

-

1

)

LoadStateProblemToSatSolver()

BopOptimizerBase::Status LoadStateProblemToSatSolver	(	const ProblemState &	problem_state,
		sat::SatSolver *	sat_solver
	)

Definition at line 88 of file bop_util.cc.

operator<<() [1/2]

std::ostream & operator<< ( std::ostream &  os, BopOptimizerBase::Status  status  )

inline

Definition at line 106 of file bop_base.h.

operator<<() [2/2]

std::ostream & operator<< ( std::ostream &  os, BopSolveStatus  status  )

inline

Definition at line 68 of file bop_types.h.

SatAssignmentToBopSolution()

void SatAssignmentToBopSolution	(	const sat::VariablesAssignment &	assignment,
		BopSolution *	solution
	)

Definition at line 122 of file bop_util.cc.