operations_research::sat::FeasibilityPump Class Reference

Detailed Description

Definition at line 42 of file feasibility_pump.h.

#include <feasibility_pump.h>

Public Types
typedef glop::RowIndex	ConstraintIndex

Public Member Functions
	FeasibilityPump (Model *model)
	~FeasibilityPump ()
void	SetMaxFPIterations (int max_iter)
void	AddLinearConstraint (const LinearConstraint &ct)
void	SetObjectiveCoefficient (IntegerVariable ivar, IntegerValue coeff)
bool	HasLPSolution () const
double	LPSolutionObjectiveValue () const
double	GetLPSolutionValue (IntegerVariable variable) const
bool	LPSolutionIsInteger () const
double	LPSolutionFractionality () const
bool	HasIntegerSolution () const
int64_t	IntegerSolutionObjectiveValue () const
bool	IntegerSolutionIsFeasible () const
int64_t	GetIntegerSolutionValue (IntegerVariable variable) const
bool	Solve ()

Member Typedef Documentation

ConstraintIndex

typedef glop::RowIndex operations_research::sat::FeasibilityPump::ConstraintIndex

Definition at line 47 of file feasibility_pump.h.

Constructor & Destructor Documentation

FeasibilityPump()

operations_research::sat::FeasibilityPump::FeasibilityPump ( Model * model )

explicit

Definition at line 60 of file feasibility_pump.cc.

~FeasibilityPump()

operations_research::sat::FeasibilityPump::~FeasibilityPump

(

)

Definition at line 82 of file feasibility_pump.cc.

Member Function Documentation

AddLinearConstraint()

void operations_research::sat::FeasibilityPump::AddLinearConstraint

(

const LinearConstraint &

ct

)

Definition at line 87 of file feasibility_pump.cc.

GetIntegerSolutionValue()

int64_t operations_research::sat::FeasibilityPump::GetIntegerSolutionValue

(

IntegerVariable

variable

)

const

Definition at line 455 of file feasibility_pump.cc.

GetLPSolutionValue()

double operations_research::sat::FeasibilityPump::GetLPSolutionValue

(

IntegerVariable

variable

)

const

Definition at line 441 of file feasibility_pump.cc.

HasIntegerSolution()

bool operations_research::sat::FeasibilityPump::HasIntegerSolution ( ) const

inline

Definition at line 73 of file feasibility_pump.h.

HasLPSolution()

bool operations_research::sat::FeasibilityPump::HasLPSolution ( ) const

inline

Definition at line 64 of file feasibility_pump.h.

IntegerSolutionIsFeasible()

bool operations_research::sat::FeasibilityPump::IntegerSolutionIsFeasible ( ) const

inline

Definition at line 77 of file feasibility_pump.h.

IntegerSolutionObjectiveValue()

int64_t operations_research::sat::FeasibilityPump::IntegerSolutionObjectiveValue ( ) const

inline

Definition at line 74 of file feasibility_pump.h.

LPSolutionFractionality()

double operations_research::sat::FeasibilityPump::LPSolutionFractionality ( ) const

inline

Definition at line 68 of file feasibility_pump.h.

LPSolutionIsInteger()

bool operations_research::sat::FeasibilityPump::LPSolutionIsInteger ( ) const

inline

Definition at line 67 of file feasibility_pump.h.

LPSolutionObjectiveValue()

double operations_research::sat::FeasibilityPump::LPSolutionObjectiveValue ( ) const

inline

Definition at line 65 of file feasibility_pump.h.

SetMaxFPIterations()

void operations_research::sat::FeasibilityPump::SetMaxFPIterations ( int max_iter )

inline

Definition at line 49 of file feasibility_pump.h.

SetObjectiveCoefficient()

void operations_research::sat::FeasibilityPump::SetObjectiveCoefficient	(	IntegerVariable	ivar,
		IntegerValue	coeff )

Definition at line 112 of file feasibility_pump.cc.

Solve()

bool operations_research::sat::FeasibilityPump::Solve

(

)

Definition at line 165 of file feasibility_pump.cc.

---

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

• ortools/sat/feasibility_pump.h
• ortools/sat/feasibility_pump.cc