Detailed Description

Definition at line 34 of file sat_interface.cc.

Inheritance diagram for operations_research::SatInterface:

Public Member Functions
	SatInterface (MPSolver *solver)
	~SatInterface () override
MPSolver::ResultStatus	Solve (const MPSolverParameters &param) override
bool	InterruptSolve () override
bool	SupportsDirectlySolveProto (std::atomic< bool > *interrupt) const override
MPSolutionResponse	DirectlySolveProto (LazyMutableCopy< MPModelRequest > request, std::atomic< bool > *interrupt) override
void	Reset () override
void	SetOptimizationDirection (bool maximize) override
void	SetVariableBounds (int index, double lb, double ub) override
void	SetVariableInteger (int index, bool integer) override
void	SetConstraintBounds (int index, double lb, double ub) override
void	AddRowConstraint (MPConstraint *ct) override
void	AddVariable (MPVariable *var) override
void	SetCoefficient (MPConstraint constraint, const MPVariable variable, double new_value, double old_value) override
void	ClearConstraint (MPConstraint *constraint) override
void	SetObjectiveCoefficient (const MPVariable *variable, double coefficient) override
void	SetObjectiveOffset (double value) override
void	ClearObjective () override
bool	AddIndicatorConstraint (MPConstraint *const ct) override
int64_t	iterations () const override
int64_t	nodes () const override
MPSolver::BasisStatus	row_status (int constraint_index) const override
MPSolver::BasisStatus	column_status (int variable_index) const override
bool	IsContinuous () const override
bool	IsLP () const override
bool	IsMIP () const override
std::string	SolverVersion () const override
void *	underlying_solver () override
void	ExtractNewVariables () override
void	ExtractNewConstraints () override
void	ExtractObjective () override
void	SetParameters (const MPSolverParameters &param) override
void	SetRelativeMipGap (double value) override
void	SetPrimalTolerance (double value) override
void	SetDualTolerance (double value) override
void	SetPresolveMode (int value) override
void	SetScalingMode (int value) override
void	SetLpAlgorithm (int value) override
bool	SetSolverSpecificParametersAsString (const std::string &parameters) override
absl::Status	SetNumThreads (int num_threads) override
Public Member Functions inherited from operations_research::MPSolverInterface
	MPSolverInterface (MPSolver *solver)
virtual	~MPSolverInterface ()
virtual void	Write (const std::string &filename)
virtual void	BranchingPriorityChangedForVariable (int)
double	best_objective_bound () const
double	objective_value () const
bool	CheckSolutionIsSynchronized () const
virtual bool	CheckSolutionExists () const
bool	CheckSolutionIsSynchronizedAndExists () const
int	last_variable_index () const
bool	variable_is_extracted (int var_index) const
void	set_variable_as_extracted (int var_index, bool extracted)
bool	constraint_is_extracted (int ct_index) const
void	set_constraint_as_extracted (int ct_index, bool extracted)
bool	quiet () const
void	set_quiet (bool quiet_value)
MPSolver::ResultStatus	result_status () const
virtual double	ComputeExactConditionNumber () const
virtual void	SetStartingLpBasis (const std::vector< MPSolver::BasisStatus > &, const std::vector< MPSolver::BasisStatus > &)
virtual double	infinity ()
virtual bool	NextSolution ()
virtual void	SetCallback (MPCallback *)
virtual bool	SupportsCallbacks () const

Additional Inherited Members
Public Types inherited from operations_research::MPSolverInterface
enum	SynchronizationStatus { MUST_RELOAD , MODEL_SYNCHRONIZED , SOLUTION_SYNCHRONIZED }
Static Public Attributes inherited from operations_research::MPSolverInterface
static constexpr int64_t	kUnknownNumberOfIterations = -1
static constexpr int64_t	kUnknownNumberOfNodes = -1
Protected Member Functions inherited from operations_research::MPSolverInterface
void	ExtractModel ()
void	ResetExtractionInformation ()
void	InvalidateSolutionSynchronization ()
void	SetCommonParameters (const MPSolverParameters &param)
void	SetMIPParameters (const MPSolverParameters &param)
void	SetUnsupportedDoubleParam (MPSolverParameters::DoubleParam param)
virtual void	SetUnsupportedIntegerParam (MPSolverParameters::IntegerParam param)
void	SetDoubleParamToUnsupportedValue (MPSolverParameters::DoubleParam param, double value)
virtual void	SetIntegerParamToUnsupportedValue (MPSolverParameters::IntegerParam param, int value)
Protected Attributes inherited from operations_research::MPSolverInterface
MPSolver *const	solver_
SynchronizationStatus	sync_status_
MPSolver::ResultStatus	result_status_
bool	maximize_
int	last_constraint_index_
int	last_variable_index_
double	objective_value_
double	best_objective_bound_
bool	quiet_
Static Protected Attributes inherited from operations_research::MPSolverInterface
static const int	kDummyVariableIndex = 0

Constructor & Destructor Documentation

◆ SatInterface()

operations_research::SatInterface::SatInterface ( MPSolver * solver )

explicit

Definition at line 107 of file sat_interface.cc.

◆ ~SatInterface()

operations_research::SatInterface::~SatInterface ( )

override

Definition at line 110 of file sat_interface.cc.

Member Function Documentation

◆ AddIndicatorConstraint()

bool operations_research::SatInterface::AddIndicatorConstraint ( MPConstraint *const ct )

inlineoverridevirtual

Reimplemented from operations_research::MPSolverInterface.

Definition at line 68 of file sat_interface.cc.

◆ AddRowConstraint()

void operations_research::SatInterface::AddRowConstraint ( MPConstraint * ct )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 184 of file sat_interface.cc.

◆ AddVariable()

void operations_research::SatInterface::AddVariable ( MPVariable * var )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 188 of file sat_interface.cc.

◆ ClearConstraint()

void operations_research::SatInterface::ClearConstraint ( MPConstraint * constraint )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 198 of file sat_interface.cc.

◆ ClearObjective()

void operations_research::SatInterface::ClearObjective ( )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 209 of file sat_interface.cc.

◆ column_status()

MPSolver::BasisStatus operations_research::SatInterface::column_status ( int variable_index ) const

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 221 of file sat_interface.cc.

◆ DirectlySolveProto()

MPSolutionResponse operations_research::SatInterface::DirectlySolveProto	(	LazyMutableCopy< MPModelRequest >	request,
		std::atomic< bool > *	interrupt )

inlineoverridevirtual

Reimplemented from operations_research::MPSolverInterface.

Definition at line 47 of file sat_interface.cc.

◆ ExtractNewConstraints()

void operations_research::SatInterface::ExtractNewConstraints ( )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 237 of file sat_interface.cc.

◆ ExtractNewVariables()

void operations_research::SatInterface::ExtractNewVariables ( )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 235 of file sat_interface.cc.

◆ ExtractObjective()

void operations_research::SatInterface::ExtractObjective ( )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 239 of file sat_interface.cc.

◆ InterruptSolve()

bool operations_research::SatInterface::InterruptSolve ( )

overridevirtual

Reimplemented from operations_research::MPSolverInterface.

Definition at line 161 of file sat_interface.cc.

◆ IsContinuous()

bool operations_research::SatInterface::IsContinuous ( ) const

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 225 of file sat_interface.cc.

◆ IsLP()

bool operations_research::SatInterface::IsLP ( ) const

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 226 of file sat_interface.cc.

◆ IsMIP()

bool operations_research::SatInterface::IsMIP ( ) const

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 227 of file sat_interface.cc.

◆ iterations()

int64_t operations_research::SatInterface::iterations ( ) const

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 211 of file sat_interface.cc.

◆ nodes()

int64_t operations_research::SatInterface::nodes ( ) const

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 215 of file sat_interface.cc.

◆ Reset()

void operations_research::SatInterface::Reset ( )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 166 of file sat_interface.cc.

◆ row_status()

MPSolver::BasisStatus operations_research::SatInterface::row_status ( int constraint_index ) const

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 217 of file sat_interface.cc.

◆ SetCoefficient()

void operations_research::SatInterface::SetCoefficient	(	MPConstraint *	constraint,
		const MPVariable *	variable,
		double	new_value,
		double	old_value )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 192 of file sat_interface.cc.

◆ SetConstraintBounds()

void operations_research::SatInterface::SetConstraintBounds	(	int	index,
		double	lb,
		double	ub )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 180 of file sat_interface.cc.

◆ SetDualTolerance()

void operations_research::SatInterface::SetDualTolerance ( double value )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 254 of file sat_interface.cc.

◆ SetLpAlgorithm()

void operations_research::SatInterface::SetLpAlgorithm ( int value )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 256 of file sat_interface.cc.

◆ SetNumThreads()

absl::Status operations_research::SatInterface::SetNumThreads ( int num_threads )

overridevirtual

Reimplemented from operations_research::MPSolverInterface.

Definition at line 247 of file sat_interface.cc.

◆ SetObjectiveCoefficient()

void operations_research::SatInterface::SetObjectiveCoefficient	(	const MPVariable *	variable,
		double	coefficient )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 202 of file sat_interface.cc.

◆ SetObjectiveOffset()

void operations_research::SatInterface::SetObjectiveOffset ( double value )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 207 of file sat_interface.cc.

◆ SetOptimizationDirection()

void operations_research::SatInterface::SetOptimizationDirection ( bool maximize )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 168 of file sat_interface.cc.

◆ SetParameters()

void operations_research::SatInterface::SetParameters ( const MPSolverParameters & param )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 241 of file sat_interface.cc.

◆ SetPresolveMode()

void operations_research::SatInterface::SetPresolveMode ( int value )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 260 of file sat_interface.cc.

◆ SetPrimalTolerance()

void operations_research::SatInterface::SetPrimalTolerance ( double value )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 253 of file sat_interface.cc.

◆ SetRelativeMipGap()

void operations_research::SatInterface::SetRelativeMipGap ( double value )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 257 of file sat_interface.cc.

◆ SetScalingMode()

void operations_research::SatInterface::SetScalingMode ( int value )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 255 of file sat_interface.cc.

◆ SetSolverSpecificParametersAsString()

bool operations_research::SatInterface::SetSolverSpecificParametersAsString ( const std::string & parameters )

overridevirtual

Reimplemented from operations_research::MPSolverInterface.

Definition at line 262 of file sat_interface.cc.

◆ SetVariableBounds()

void operations_research::SatInterface::SetVariableBounds	(	int	index,
		double	lb,
		double	ub )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 172 of file sat_interface.cc.

◆ SetVariableInteger()

void operations_research::SatInterface::SetVariableInteger	(	int	index,
		bool	integer )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 176 of file sat_interface.cc.

◆ Solve()

MPSolver::ResultStatus operations_research::SatInterface::Solve ( const MPSolverParameters & param )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 112 of file sat_interface.cc.

◆ SolverVersion()

std::string operations_research::SatInterface::SolverVersion ( ) const

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 229 of file sat_interface.cc.

◆ SupportsDirectlySolveProto()

bool operations_research::SatInterface::SupportsDirectlySolveProto ( std::atomic< bool > * interrupt ) const

inlineoverridevirtual

Reimplemented from operations_research::MPSolverInterface.

Definition at line 44 of file sat_interface.cc.

◆ underlying_solver()

void * operations_research::SatInterface::underlying_solver ( )

overridevirtual

Implements operations_research::MPSolverInterface.

Definition at line 233 of file sat_interface.cc.

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

ortools/linear_solver/sat_interface.cc

Detailed Description

Public Member Functions

Additional Inherited Members

Constructor & Destructor Documentation

◆ SatInterface()

◆ ~SatInterface()

Member Function Documentation

◆ AddIndicatorConstraint()

◆ AddRowConstraint()

◆ AddVariable()

◆ ClearConstraint()

◆ ClearObjective()

◆ column_status()

◆ DirectlySolveProto()

◆ ExtractNewConstraints()

◆ ExtractNewVariables()

◆ ExtractObjective()

◆ InterruptSolve()

◆ IsContinuous()

◆ IsLP()

◆ IsMIP()

◆ iterations()

◆ nodes()

◆ Reset()

◆ row_status()

◆ SetCoefficient()

◆ SetConstraintBounds()

◆ SetDualTolerance()

◆ SetLpAlgorithm()

◆ SetNumThreads()

◆ SetObjectiveCoefficient()

◆ SetObjectiveOffset()

◆ SetOptimizationDirection()

◆ SetParameters()

◆ SetPresolveMode()

◆ SetPrimalTolerance()

◆ SetRelativeMipGap()

◆ SetScalingMode()

◆ SetSolverSpecificParametersAsString()

◆ SetVariableBounds()

◆ SetVariableInteger()

◆ Solve()

◆ SolverVersion()

◆ SupportsDirectlySolveProto()

◆ underlying_solver()